Sciweavers

6474 search results - page 376 / 1295
» Towards a Systemic Approach to Autonomic Systems Engineering
Sort
View
ISSTA
2009
ACM
15 years 11 months ago
Run-time conformance checking of mobile and distributed systems using executable models
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel
CIBSE
2008
ACM
15 years 8 months ago
Using Refinement Checking as System Testing
Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...
Cristiano Bertolini, Alexandre Mota
EDCC
2010
Springer
15 years 11 months ago
Towards Understanding the Importance of Variables in Dependable Software
Abstract—A dependable software system contains two important components, namely, error detection mechanisms and error recovery mechanisms. An error detection mechanism attempts t...
Matthew Leeke, Arshad Jhumka
AINA
2011
IEEE
14 years 10 months ago
Non-invasive Browser Based User Modeling Towards Semantically Enhanced Personlization of the Open Web
—Currently the user’s web search is disjoint from the resources which is subsequently browsed. Specifically the related instances of the search are not displayed on the followi...
Kevin Koidl, Owen Conlan, Lai Wei, Ann Marie Saxto...
ISDA
2008
IEEE
16 years 1 months ago
Towards a Suitable Reconciliation of the Findings in Collaborative Fuzzy Clustering
This study is concerned with the application of multi-objective particle swarm optimization (MOPSO) approaches to the framework of collaborative fuzzy clustering. In particular, t...
Rafael Falc, Benoît Depaire, Koen Vanhoof, A...