4418 search results - page 637 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
185
click to vote
ESTIMEDIA
2009
Springer
15 years 4 months ago
2009
Springer
The increasing demand for low power and high performance multimedia embedded systems has motivated the need for effective solutions to satisfy application bandwidth and latency req...
172
click to vote
HPCN
1998
Springer
15 years 10 months ago
1998
Springer
The execution of an application on a high performance system requires parameters concerning the problem in hand, and those that determine the system mapping, to be specified by a ...
312
click to vote
TASE
2012
IEEE
14 years 2 months ago
2012
IEEE
— This paper presents new results on the formal design of distributed coordinating agents in a discrete-event framework. In this framework, agents are modeled to be individually ...
171
click to vote
SAC
2006
ACM
16 years 17 days ago
2006
ACM
Careless development of web-based applications results in vulnerable code being deployed and made available to the whole Internet, creating easily-exploitable entry points for the...
201
click to vote
SC
2003
ACM
15 years 12 months ago
2003
ACM
Load balance is critical to achieving scalability for large network emulation studies, which are of compelling interest for emerging Grid, Peer to Peer, and other distributed appl...