54 search results - page 6 / 11 » MAGNET: A Tool for Debugging, Analyzing and Adapting Computi... |
APN
2010
Springer
14 years 14 days ago
2010
Springer
Service-oriented computing proposes services as building blocks which can be composed to complex systems. To reason about the correctness of a service, its communication protocol n...
IPPS
1999
IEEE
13 years 12 months ago
1999
IEEE
This paper presents the Pure/Epos approach to deal with the high complexity of adaptable operating systems and also to diminish the distance between application and operating syste...
SAC
2005
ACM
14 years 1 months ago
2005
ACM
The launch of new features for mobile phones is increasing and the product life cycle symmetrically decreasing in duration as higher levels of sophistication are reached. Therefor...
BMCBI
2010
13 years 7 months ago
2010
Background: High throughput sequencing has become an increasingly important tool for biological research. However, the existing software systems for managing and processing these ...
AMOST
2005
ACM
14 years 1 months ago
2005
ACM
Interaction testing is widely used in screening for faults. In software testing, it provides a natural mechanism for testing systems to be deployed on a variety of hardware and so...