212 search results - page 7 / 43 » Conformance Testing of Distributed Concurrent Systems with E... |
ECMDAFA
2007
Springer
14 years 1 months ago
2007
Springer
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
AISADM
2005
Springer
14 years 1 months ago
2005
Springer
Meta-learning system for KDD is an open and evolving platform for efficient testing and intelligent recommendation of data mining process. Metalearning is adopted to automate the s...
SENSYS
2009
ACM
14 years 2 months ago
2009
ACM
Creating and debugging programs for wireless embedded networks (WENs) is notoriously difficult. Macroprogramming is an emerging technology that aims to address this by providing ...
EDO
2006
Springer
13 years 11 months ago
2006
Springer
In this paper we describe a new approach for increasing the reliability of ubiquitous software systems. This is achieved by executing tests at run-time. The individual software co...
DSN
2005
IEEE
14 years 1 months ago
2005
IEEE
View-oriented group communication is an important and widely used building block for constructing highlyavailable fault-tolerant systems. Unfortunately, groupcommunication based s...