322 search results - page 32 / 65 » Testing Deadlock-Freeness in Real-Time Systems: A Formal App... |
RTCSA
2005
IEEE
14 years 1 months ago
2005
IEEE
Context-aware middleware encompasses uniform ions and reliable services for common operations, supports for most of the tasks involved in dealing with context, and thus simplifyin...
CACM
2002
13 years 7 months ago
2002
Developers of context-aware services, i.e. services that make use of sensory information from the environment of their users, often find testing and demonstrating services to be di...
IPSN
2004
Springer
14 years 28 days ago
2004
Springer
This paper presents an approach for dynamic software reconfiguration in sensor networks. Our approach utilizes explicit models of the design space of the embedded application. The...
ICDCSW
2007
IEEE
14 years 1 months ago
2007
IEEE
Many Ubicomp appliances require the recognition of context. Existing context systems do not provide information about the quality of the context recognizied to the appliance at ru...
OOPSLA
2010
Springer
13 years 6 months ago
2010
Springer
Testing is among the most effective tools available for finding bugs. Still, we know of no automatic technique for generating test cases that expose bugs involving a combination ...