1980 search results - page 274 / 396 » Compositional Model Checking of Real Time Systems |
162
click to vote
AIM
2002
15 years 3 months ago
2002
The Infrastructure of modern society is controlled by software systems. These systems are vulnerable to attacks; several such attacks, launched by "recreation hackers" h...
139
Voted
MMM
2010
Springer
15 years 5 months ago
2010
Springer
: Networks and distributed computing systems are becoming increasingly important and at the same time, more and more critical to the world of Information Technology. This rash spre...
135
click to vote
CCR
2008
15 years 2 months ago
2008
y be more complex than the course modeling abstraction we adopted in [2]. Real AS relationships may depend on a peering point, prefix, and even time [2]. For example, ISPs that dom...
135
click to vote
CODES
2007
IEEE
15 years 9 months ago
2007
IEEE
The design and analysis of today’s complex real-time systems requires advanced methods. Due to ever growing functionality, hardware complexity and component interaction, applyin...
147
Voted
PC
2012
13 years 11 months ago
2012
This paper describes a safe and efficient combination of the object-based message-driven execution and shared array parallel programming models. In particular, we demonstrate how ...