3864 search results - page 4 / 773 » time 2005 |
FORMATS
2005
Springer
14 years 29 days ago
2005
Springer
ASPDAC
2005
ACM
13 years 9 months ago
2005
ACM
VLDB
2005
ACM
14 years 28 days ago
2005
ACM
FSTTCS
2005
Springer
14 years 29 days ago
2005
Springer
In this paper4 , we compare Timed Automata (TA) and Time Petri Nets (TPN) with respect to weak timed bisimilarity. It is already known that the class of bounded TPNs is strictly in...
RSP
2005
IEEE
14 years 1 months ago
2005
IEEE
For cost-effective prototyping, system designers should have a clear understanding of the intended use of the prototype under development. This paper describes a classification of...