4418 search results - page 386 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
177
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
ity Abstraction for Declarative Networking Applications Juan A. Navarro P?erez, Andrey Rybalchenko, and Atul Singh Max Planck Institute for Software Systems (MPI-SWS) Declarative N...
159
click to vote
ACMSE
2006
ACM
16 years 24 days ago
2006
ACM
The design of large-scale, distributed, performance-sensitive systems presents numerous challenges due to their networkcentric nature and stringent quality of service (QoS) requir...
181
click to vote
ICCS
2007
Springer
16 years 29 days ago
2007
Springer
The Louisiana Coastal Area presents an array of rich and urgent scientific problems that require new computational approaches. These problems are interconnected with common compon...
187
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
The inherent limitations of embedded systems make them particularly vulnerable to attacks. We have developed a hardware monitor that operates in parallel to the embedded processor...
176
click to vote
ECRTS
2007
IEEE
16 years 1 months ago
2007
IEEE
Dynamic memory storage has been widely used for years in computer science. However, its use in real-time systems has not been considered as an important issue, and memory manageme...