1980 search results - page 254 / 396 » Compositional Model Checking of Real Time Systems |
120
click to vote
ANSS
2001
IEEE
15 years 7 months ago
2001
IEEE
In a Web-Based federated simulation system, a group of simulation models residing on different machines attached to the Internet, called federates, collaborate with each other to ...
146
Voted
RTAS
2008
IEEE
15 years 9 months ago
2008
IEEE
Real-time schedulability theory requires a priori knowledge of the worst-case execution time (WCET) of every task in the system. Fundamental to the calculation of WCET is a schedu...
107
click to vote
PDP
2006
IEEE
15 years 9 months ago
2006
IEEE
Production grids have a potential for parallel execution of a very large number of tasks but also introduce a high overhead that significantly impacts the execution of short task...
147
click to vote
ICC
2009
IEEE
15 years 1 months ago
2009
IEEE
Abstract--Generative models are created to be used in the design and performance assessment of high layer wireless communication protocols and some error control strategies. Genera...
117
Voted
ICWS
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper addresses one of the major problems of SOA software development: the lack of support for testing complex service-oriented systems. The research community has developed v...