314 search results - page 33 / 63 » Generating Path Conditions for Timed Systems |
JSS
2008
13 years 6 months ago
2008
This report presents a model-driven, stress test methodology aimed at increasing chances of discovering faults related to network traffic in Distributed Real-Time Systems (DRTS). T...
SEKE
2010
Springer
13 years 6 months ago
2010
Springer
Given the bytecode of a software system, is it possible to automatically generate attack signatures that reveal its vulnerabilities? A natural solution would be symbolically execu...
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
Distributed message relaying is an important function of a peer-topeer system to discover service providers. Existing search protocols in unstructured peer-to-peer systems either ...
ICCAD
1998
IEEE
13 years 12 months ago
1998
IEEE
Designers of distributed embedded systems face many challenges in determining the appropriate tradeoffs to make when defining a system architecture or retargeting an existing desi...
ICIP
2003
IEEE
14 years 9 months ago
2003
IEEE
We present a system for video streaming well adapted to the unpredictable and varying nature of Internet. The proposed system uses a superposition of several Multiple Description ...