12 search results - page 3 / 3 » Translation of Intermediate Language to Timed Automata with ... |
DEBS
2009
ACM
14 years 10 hour ago
2009
ACM
The nature of data in enterprises and on the Internet is changing. Data used to be stored in a database first and queried later. Today timely processing of new data, represented ...
FP
1989
13 years 9 months ago
1989
This paper reports an explanation of an intricate algorithm in the terms of a potentially mechanisable rigorous-development method. It uses notations and techniques of Sheeran 1] ...