3031 search results - page 460 / 607 » Model Driven Testing Based on Test History |
103
Voted
ROBOCOMM
2007
IEEE
15 years 7 months ago
2007
IEEE
—Managing a team of heterogeneous robots in a dynamic environment poses a challenging job. In this paper a model for a multi-purpose, real-time, adaptable, strategical coordinati...
97
Voted
ESOP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...
HYBRID
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. This paper considers piecewise affine models of genetic regulatory networks and focuses on the problem of detecting switches among different modes of operation in gene e...
79
Voted
HT
2006
ACM
15 years 6 months ago
2006
ACM
This paper presents a new definition of context for contextaware computing based on a model that relies on dynamic queries over structured objects. This new model enables develop...
116
click to vote
EEE
2005
IEEE
15 years 6 months ago
2005
IEEE
The rapid growth of XML adoption has urged for the need of a proper representation for semi-structured documents, where the document structural information has to be taken into ac...