111 search results - page 11 / 23 » Run-Time Verification of Networked Software |
DAC
2007
ACM
15 years 1 months ago
2007
ACM
A growing number of networked applications is implemented on increasingly complex automotive platforms with several bus standards and gateways. Together, they challenge the automo...
129
click to vote
ANCS
2010
ACM
14 years 7 months ago
2010
ACM
As we move forward towards the next generation of wireless protocols, the push for a better radio physical layer is ever increasing. Conventional radio architectures are limited t...
114
click to vote
KDD
2003
ACM
15 years 10 months ago
2003
ACM
In today's industry, the design of software tests is mostly based on the testers' expertise, while test automation tools are limited to execution of pre-planned tests on...
177
click to vote
ICAC
2009
IEEE
15 years 4 months ago
2009
IEEE
Increasingly, applications need to be able to self-reconfigure in response to changing requirements and environmental conditions. Autonomic computing has been proposed as a means...
ICCS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. A new approach for acquiring knowledge of parallel applications regarding resource usage and for searching similarity on workload traces is presented. The main goal is to...