612 search results - page 95 / 123 » Bridging the Gap between Systems Design |
RTSS
2009
IEEE
14 years 2 months ago
2009
IEEE
—Real-time detection is an important requirement of many mission-critical wireless sensor network applications such as battlefield monitoring and security surveillance. Due to t...
SEKE
2001
Springer
13 years 12 months ago
2001
Springer
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...
VRCAI
2009
ACM
14 years 2 months ago
2009
ACM
Game engines of cinematic quality, broadband networking and advances in Virtual Reality (VR) technologies are setting the stage to allow players to have shared, “better-than-lif...
ICWE
2004
Springer
14 years 27 days ago
2004
Springer
The situation in engineering security for Web services that access databases is as follows: On the one hand, specifications like WSSecurity are concerned with the security managem...
HPDC
2010
IEEE
13 years 8 months ago
2010
IEEE
Large scale bioinformatics experiments are usually composed by a set of data flows generated by a chain of activities (programs or services) that may be modeled as scientific work...