226 search results - page 7 / 46 » IF: A Validation Environment for Timed Asynchronous Systems |
INFOCOM
2006
IEEE
14 years 2 months ago
2006
IEEE
— Sensing events from dynamic environments are normally asynchronous and non-repeatable. This lack of repeatability makes it particularly difficult to statistically evaluate the...
FSEN
2009
Springer
14 years 13 days ago
2009
Springer
We propose and explore a formal approach for black-box testing asynchronously communicating components in open environments. Asynchronicity poses a challenge for validating and tes...
INFOCOM
2005
IEEE
14 years 2 months ago
2005
IEEE
— We leverage the buffering capabilities of end-systems to achieve scalable, asynchronous delivery of streams in a peer-to-peer environment. Unlike existing cache-and-relay schem...
ADBIS
1995
Springer
14 years 4 days ago
1995
Springer
Crash recovery in database systems aims to provide an acceptable level of protection from failure at a given engineering cost. A large number of recovery mechanisms are known, and...
DAC
1998
ACM
14 years 24 days ago
1998
ACM
The di culty of embedded system co-design is increasing rapidly due to the increasing complexity of individual parts, the variety of parts available and pressure to use multiple p...