1992 search results - page 252 / 399 » Model Based Testing with Labelled Transition Systems |
126
Voted
CAV
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We present a brief overview of the tool Ticc (Tool for Interface Compatibility and Composition). In Ticc, a component interface describes both the behavior of a component...
154
Voted
IPSN
2010
Springer
15 years 5 months ago
2010
Springer
Body sensor networks are emerging as a promising platform for remote human monitoring. With the aim of extracting bio-kinematic parameters from distributed body-worn sensors, thes...
144
Voted
CIKM
2009
Springer
15 years 10 months ago
2009
Springer
RDF is a data model for representing labeled directed graphs, and it is used as an important building block of semantic web. Due to its flexibility and applicability, RDF has bee...
112
Voted
FM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...
126
Voted
ECAI
2000
Springer
15 years 7 months ago
2000
Springer
This paper investigates the problem of improving the performance of general state-of-the-art robot control systems by autonomously adapting them to specific tasks and environments...