UPPAAL Timed Automata Parser Library 0.50
Grok Headline matches for UPPAAL Timed Automata Parser Library 0.50
UPPAAL Timed Automata Parser Library
0.60
UPPAAL Timed Automata Parser Library
0.60
06/17/2004 05:22 AMA parser library for timed automata.
New: Automata 1.0
New: Automata 1.0
07/21/2004 11:08 AMAutomata can merge an Illustrator file (containing place holders) with
a text source (containing content information) to generate custom
output files.
T-Uppaal 1.0
T-Uppaal 1.0
05/04/2004 06:43 AMAn online testing tool for real-time and embedded software systems.
UPPAAL 3.4.3 (Stable)
UPPAAL 3.4.3 (Stable)
12/27/2003 12:31 PMA real time model checker for timed automata.
UPPAAL 3.4.4 (Stable)
UPPAAL 3.4.4 (Stable)
01/26/2004 01:57 PMA real time model checker for timed automata.
UPPAAL 3.4.9 (Stable branch)
UPPAAL 3.4.9 (Stable branch)
04/01/2005 11:59 AM

UPPAAL is an integrated tool environment for
modeling, validation, and verification of real
time systems, modeled as networks of timed
automata, extended with data types (bounded
integers, arrays, etc.). Typical application
areas include real time controllers and
communication protocols, in particular those
where timing aspects are critical.
Changes:
A critical bug in the liveness checker has been fixed.
UPPAAL 3.5.5 (Development branch)
UPPAAL 3.5.5 (Development branch)
04/08/2005 10:31 AM

UPPAAL is an integrated tool environment for
modeling, validation, and verification of real
time systems, modeled as networks of timed
automata, extended with data types (bounded
integers, arrays, etc.). Typical application
areas include real time controllers and
communication protocols, in particular those
where timing aspects are critical.
Changes:
Significant improvements in memory consumption have been made and the
speed of the liveness checker has been increased.
Java Parser/Parser Generator 3.01
Java Parser/Parser Generator 3.01
04/22/2004 02:21 AMA Java-based parser and parser generator package/utility.
Cellular Automata and Music Using Java
Cellular Automata and Music Using Java
05/19/2004 10:08 PMUPPAAL 050621 (CORA branch)
UPPAAL 050621 (CORA branch)
06/22/2005 02:26 AM

UPPAAL is an integrated tool environment for
modeling, validation, and verification of real
time systems, modeled as networks of timed
automata, extended with data types (bounded
integers, arrays, etc.). Typical application
areas include real time controllers and
communication protocols, in particular those
where timing aspects are critical.
License: Free for non-commercial use
Changes:
This release uses a heuristic variable to guide the search and
concrete
trace generation when urgent or committed locations are used.
Automatous Monk: Cellular Automata Music
Automatous Monk: Cellular Automata Music
04/20/2004 11:32 PM_The Well-Tempered Cellular Automaton_ released
Build handcranked automata from books of
die-cut parts
Build handcranked automata from books of
die-cut parts
02/19/2004 04:57 PM
Wacky Neighbor sez: "I just
ran into this while googling Die Fledermaus. Little origami robots for
the desktop. They call 'em paper automata, and they're trying to sell
them as executive toys. Although I think their real market is the geek
sector. And given the lascivious movement of the witch, I think with
minor redesigns, they could have a future in the risque novelty
market. Whether the titular flying pig appears at life's lineups, a la
Kids in the Hall, is another matter."
LinkAutomata automates custom Illustrator
output
Automata automates custom Illustrator
output
07/22/2004 11:25 AMZumedia Software has released
Automata, a file-generating software
designed to save Adobe Illustrator 10.0.3 users from having to perform
repetitive tasks. Automata merges templates -- Illustrator files
containing place holders -- with a text source file containing content
info. Zumedia said that Automata can output up to 1,500 files per
hour, and it outputs to Illustrator, PDF, EPS, JPEG, GIF and Flash
formats. Automata for Illustrator CS is coming soon. Automata 1.0
costs US$135 for a single license; that includes an interactive user
guide and 43 minutes of QuickTime video tutorials. System requirements
call for Illustrator 10.0.3 and Mac OS X v10.3.
Rudy Rucker explains how to get high on
cellular automata
Rudy Rucker explains how to get high on
cellular automata
12/29/2004 02:36 PM
Cory Doctorow:
Rudy Rucker sez, "Here's an interesting blog entry about conotoxins,
cellular automata, and the new drug Prialt."
So I’m going on about cellular automata all the time and you’re
thinking, “Yes, but can CAs get me high?” I’ll say! Stephen
Wolfram’s mascot is the textile coneshell, famous for having a
one-dimensional CA wrapped around its shell.
Link
(
Thanks, Rudy!)
WWW-Mechanize-Timed-0.42
WWW-Mechanize-Timed-0.42
01/23/2004 02:26 PMNagios-WebTransact-Timed-0.06
Nagios-WebTransact-Timed-0.06
11/06/2003 12:44 AMBiodiesel Boom Well-Timed
Biodiesel Boom Well-Timed
06/01/2004 05:41 AMAs the price of gas continues to climb, the appeal of an alternative
domestic fuel is growing. Biodiesel fueling stations, new EPA
emissions standards and a pending tax credit may help tip the balance
toward renewable fuel. By John Gartner.
says that the capture was timed to help
Bush politically
says that the capture was timed to help
Bush politically
12/17/2003 06:06 AMthe moronic comments by Rep. Jim McDermott .. conspiracy theories from
the Democrats .. Congressman D*ckhead back in trouble .. outrageous
things
newsday.com/news/politics/wire/sns-ap-saddam-mcdermott,0,2235
697,print.story?coll=sns-ap-politics-headlines
track this
site | 7 links
Spam's rush hour timed
Spam's rush hour timed
08/11/2004 10:28 AMAn AppleScript to generate a timed
shutdown
An AppleScript to generate a timed
shutdown
02/17/2004 11:49 AMI searched on a lot of Apple sites to find an easy shutdown script.
shutdown -h -t xx works fine in the Terminal, but it's too clumsy. So
I managed to make a (very) little AppleScript (my first one, BTW)
which works.
(* how...
Last Call: Timed Text Distribution
Profile
Last Call: Timed Text Distribution
Profile
03/22/2005 04:51 PM2005-03-21: The Timed Text (TT) Working Group has released a Last Call
Working Draft of the Timed Text (TT) Authoring Format 1.0 Distribution
Format Exchange Profile (DFXP). The format enables authors and
authoring systems to interchange style, layout and timing associated
with text. DFXP helps to transform and distribute subtitles and
captions to legacy systems. Comments are welcome through 11 April.
Visit the Synchronized Multimedia home page. (News archive)
Microsoft Patents Timed Button Presses
Microsoft Patents Timed Button Presses
04/28/2004 03:58 PMWired News: Biodiesel Boom Well-Timed
Wired News: Biodiesel Boom Well-Timed
06/02/2004 04:14 AMnifty article on BioDiesel .. Biodiesel Boom Well-Timed ..
Biodiesel
wired.com/news/autotech/0,2554,63635,00.html
track this
site | 5 links
The Well-Timed Period: Grand Rounds XXVI
The Well-Timed Period: Grand Rounds XXVI
03/22/2005 07:23 PMThe Well-Time Period .. Grand
Rounds
thewelltimedperiod.blogspot.com/2005/03/grand-rounds-xxvi.htm
l
track this
site | 2 links
Well-Timed Traveling Music at the Ready
on Your Wrist
Well-Timed Traveling Music at the Ready
on Your Wrist
06/17/2004 01:05 PMBMW has put its brand on the LAKS Memory Music MP3 watch.
W3C Launches Timed Text Working Group
W3C Launches Timed Text Working Group
01/17/2003 03:31 PM17 January 2003: W3C is pleased to announce the creation of the Timed
Text Working Group (TTWG) within the SYMM (Synchronized Multimedia)
Activity. The TTWG is chartered to develop an XML based format used to
represent streamable text synchronized with timed media like audio or
video. Movie captions on the Web are a typical timed text application.
Read the group's charter and more about the Synchronized Multimedia
Activity. (News archive)
Apple Shines After A Poorly Timed iBook
Order
Apple Shines After A Poorly Timed iBook
Order
11/06/2003 08:32 PMBy Dirk Pilat (Low End Mac via MyAppleMenu)
Working Draft: Timed Text Distribution
Profile
Working Draft: Timed Text Distribution
Profile
03/14/2005 05:58 PM2005-03-14: The Timed Text (TT) Working Group has released an updated
Working Draft of the Timed Text (TT) Authoring Format 1.0 Distribution
Format Exchange Profile (DFXP). The format enables authors and
authoring systems to interchange style, layout and timing associated
with text. DFXP helps to transform and distribute subtitles and
captions to legacy systems. Visit the Synchronized Multimedia home
page. (News archive)
Bush's UK Visit "shaping up as the most
fraught and ill-timed exercise of its
kind in living memory" 11/15
Bush's UK Visit "shaping up as the most
fraught and ill-timed exercise of its
kind in living memory" 11/15
11/16/2003 06:59 AMFrom the Independent .. this editorial notes .. Rupert Cornwell ..
Independent ..
more
news.independent.co.uk/world/americas/story.jsp?story=463147
track
this site | 5 links
"Officials discuss how to delay Election
Day: Talks stem from recent fears of
terror attack timed to vote"
"Officials discuss how to delay Election
Day: Talks stem from recent fears of
terror attack timed to vote"
07/14/2004 03:29 AM"RipDigital is a bulk CD-ripping
operation: send them your CD library and
they'll ship your library back in MP3
format"
"RipDigital is a bulk CD-ripping
operation: send them your CD library and
they'll ship your library back in MP3
format"
01/12/2004 02:57 AMDelicious Library 1.0: Easy, Fun Library
Software Catalogs Your Media
Delicious Library 1.0: Easy, Fun Library
Software Catalogs Your Media
03/17/2005 03:10 AMIn addition to being useful and easy to use, it's just plain fun.
By Mathew Honan, Macworld
Denver Public Library Launches New
Digital Library
Denver Public Library Launches New
Digital Library
05/06/2004 05:47 AMDenver Public Library Launches New Digital Libraryhttp://snipurl.com/65h2Denver Public Library?s new online service is giving city
residents access to popular eBooks directly from their homes and
offices. The Library serves over a half-million residents and 80% of
the city?s population has a library card and access to the new
service. ?This is an exciting opportunity to provide eBooks to the
city,? said Michelle Jeske, Manager of Web Information Services. ?This
year, we saw a 24% increase in the number of online library
transactions. eBooks that can be downloaded from our website fit very
well with this kind of public demand,? she added.
State Library of Tasmania: Image Library
State Library of Tasmania: Image Library
01/16/2004 11:02 AM State Library of Tasmania, Heritage Collection
Image Library.
XML-RSS-Parser-1.01
XML-RSS-Parser-1.01
01/02/2004 04:43 AMD Parser 1.10
D Parser 1.10
06/10/2004 02:54 PMA scannerless GLR parser.
XML-RSS-Parser-1
XML-RSS-Parser-1
12/30/2003 11:19 PMD Parser 1.8
D Parser 1.8
01/03/2004 03:19 PMA scannerless GLR parser.
XML-RSS-Parser-2.15
XML-RSS-Parser-2.15
05/03/2004 05:26 AMGrok Description matches for UPPAAL Timed Automata Parser Library 0.50
GrokA matches for UPPAAL Timed Automata Parser Library 0.50
UPPAAL Timed Automata Parser Library 0.50