Sciweavers

6348 search results - page 881 / 1270
» A Lesson for Software Engineering from Knowledge Engineering
Sort
View
FATES
2005
Springer
16 years 7 days ago
Testing Systems of Concurrent Black-Boxes-An Automata-Theoretic and Decompositional Approach
The global testing problem studied in this paper is to seek a definite answer to whether a system of concurrent black-boxes has an observable behavior in a given finite (but cou...
Gaoyan Xie, Zhe Dang
FATES
2005
Springer
16 years 7 days ago
Model-Based Testing Through a GUI
Abstract. So far, model-based testing approaches have mostly been used in testing through various kinds of APIs. In practice, however, testing through a GUI is another equally impo...
Antti Kervinen, Mika Maunumaa, Tuula Pää...
SEKE
2005
Springer
16 years 6 days ago
Palpable Assemblies: Dynamic Service Composition for Ubiquitous Computing
An important characteristic of ubiquitous computing is that the computational services in our environment are envisioned to be far more interconnectable than today. This means it ...
Mads Ingstrup, Klaus Marius Hansen
IUI
2004
ACM
16 years 4 days ago
BioSonics: sensual explorations of a complex system
Complex systems abound in nature and are becoming increasingly important in artificial systems. The understanding and controlling of such systems is a major challenge. This paper ...
Daniel Bisig
IUI
2004
ACM
16 years 4 days ago
Designing example-critiquing interaction
In many practical scenarios, users are faced with the problem of choosing the most preferred outcome from a large set of possibilities. As people are unable to sift through them m...
Boi Faltings, Pearl Pu, Marc Torrens, Paolo Viappi...