1161 search results - page 64 / 233 » Resource Modeling for Timed Creol Models |
151
click to vote
JSS
2007
15 years 3 months ago
2007
The resource management in distributed real-time systems becomes increasingly unpredictable with the proliferation of data-driven applications. Therefore, it is inefficient to all...
123
Voted
HYBRID
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. An important class of soft real-time applications require dynamic allocation of computational resources in order to comply with their quality of service (QoS) requirement...
110
Voted
DSD
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Verification of application requirements is becoming a bottleneck in system-on-chip design, as the number of applications grows. Traditionally, the verification comple...
143
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We present the discrete beeping communication model, which assumes nodes have minimal knowledge about their environment and severely limited communication capabilities. S...
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...