253 search results - page 28 / 51 » Formal analysis of timed continuous Petri nets |
182
click to vote
DDEP
2000
Springer
15 years 6 months ago
2000
Springer
As mobile computing becomes widespread, so will the need for digital document delivery by hypertextual means. A further trend will be the provision of the ability for devices to de...
103
Voted
CODES
2001
IEEE
15 years 5 months ago
2001
IEEE
Due to rapidly increasing system complexity, shortening time-tomarket, and growing demand for hard real-time systems, formal methods are becoming indispensable in the synthesis of...
125
Voted
COMCOM
2007
15 years 1 months ago
2007
This paper studies the system parameters that affect the total cost of managing the multicast group on a router. A Petri net model is first proposed to describe the states and t...
131
click to vote
SMC
2007
IEEE
15 years 8 months ago
2007
IEEE
: With the development of enterprise-wide and cross-enterprise application integration and interoperation towards web service, web service providers try to not only fulfill the fun...
SIGMETRICS
2002
ACM
15 years 1 months ago
2002
ACM
Probability distributions of response times are important in the design and analysis of transaction processing systems and computercommunication systems. We present a general tech...