12 search results - page 3 / 3 » Translation of Intermediate Language to Timed Automata with ... |
101
click to vote
DEBS
2009
ACM
15 years 4 months 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
15 years 1 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] ...