2205 search results - page 336 / 441 » Mutation Operators for Specifications |
113
Voted
CCE
2008
15 years 3 months ago
2008
Most solid oxide fuel cell (SOFC) modelling efforts emphasize steady-state cell operation. However, understanding the dynamic behaviour is essential to predict the performance and...
153
Voted
COMCOM
2008
15 years 3 months ago
2008
In the context of a reconfigurable transport protocol framework, we propose a QoS-aware Transport Protocol (QSTP), specifically designed to operate over QoS-enabled networks with ...
140
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract--This paper focuses on data structures for multicore reachability, which is a key component in model checking algorithms and other verification methods. A cornerstone of a...
149
Voted
COMSUR
2008
15 years 3 months ago
2008
A wireless sensor network with multimedia capabilities typically consists of data sensor nodes, which sense, for instance, sound or motion, and video sensor nodes, which capture v...
109
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Software that cannot evolve is condemned to atrophy: it cannot accommodate the constant revision and renegotiation of its business goals nor intercept the potential of new technol...