2850 search results - page 47 / 570 » On Timed Models and Full Abstraction |
171
click to vote
CPE
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper presents TimeNET, a software tool for the modelling and performability evaluation using stochastic Petri nets. The tool has been designed especially for models...
147
click to vote
ICA3PP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Measurement and modelling of distributions of data communication times is commonly done for telecommunication networks, but this has not previously been done for message ...
161
Voted
JSAC
2008
15 years 6 months ago
2008
Abstract-- This paper considers the integration of communication and control with respect to the task of coordinated heading control for a group of N vehicles. The heading control ...
159
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a t...
156
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract — This paper defines a new diagnosis problem for diagnosing delay defects based upon statistical timing models. We illustrate the differences between the delay defect d...