3864 search results - page 4 / 773 » time 2005 |
168
Voted
FORMATS
2005
Springer
16 years 29 days ago
2005
Springer
154
Voted
ASPDAC
2005
ACM
15 years 9 months ago
2005
ACM
127
Voted
VLDB
2005
ACM
16 years 27 days ago
2005
ACM
180
Voted
FSTTCS
2005
Springer
16 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...
176
Voted
RSP
2005
IEEE
16 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...