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 AM
A parser library for timed automata.

New: Automata 1.0

New: Automata 1.0 07/21/2004 11:08 AM
Automata 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 AM
An 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 PM
A real time model checker for timed automata.

UPPAAL 3.4.4 (Stable)

UPPAAL 3.4.4 (Stable) 01/26/2004 01:57 PM
A 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 AM
A 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 PM

UPPAAL 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." Link

Automata automates custom Illustrator
output

Automata automates custom Illustrator
output 07/22/2004 11:25 AM
Zumedia 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 PM

Nagios-WebTransact-Timed-0.06

Nagios-WebTransact-Timed-0.06 11/06/2003 12:44 AM

Biodiesel Boom Well-Timed

Biodiesel Boom Well-Timed 06/01/2004 05:41 AM
As 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 AM
the 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 AM

An AppleScript to generate a timed
shutdown

An AppleScript to generate a timed
shutdown 02/17/2004 11:49 AM
I 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 PM
2005-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 PM

Wired News: Biodiesel Boom Well-Timed

Wired News: Biodiesel Boom Well-Timed 06/02/2004 04:14 AM
nifty 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 PM
The 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 PM
BMW 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 PM
17 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 PM
By Dirk Pilat (Low End Mac via MyAppleMenu)

Working Draft: Timed Text Distribution
Profile

Working Draft: Timed Text Distribution
Profile 03/14/2005 05:58 PM
2005-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 AM
From 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 AM

Delicious 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 AM

In 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 AM
Denver Public Library Launches New Digital Library
http://snipurl.com/65h2

Denver 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 AM

D Parser 1.10

D Parser 1.10 06/10/2004 02:54 PM
A scannerless GLR parser.

XML-RSS-Parser-1

XML-RSS-Parser-1 12/30/2003 11:19 PM

D Parser 1.8

D Parser 1.8 01/03/2004 03:19 PM
A scannerless GLR parser.

XML-RSS-Parser-2.15

XML-RSS-Parser-2.15 05/03/2004 05:26 AM

Grok 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

The following phrases have been identified by the grok system as matching this entry: