2205 search results - page 242 / 441 » Mutation Operators for Specifications |
141
click to vote
IJRR
2006
15 years 4 months ago
2006
We describe the design and experimental validation of a large heterogeneous mobile robot team built for the DARPA Software for Distributed Robotics (SDR) program. The core challen...
124
click to vote
JCIT
2008
15 years 4 months ago
2008
In the recent decades the importance of the information systems (IS) has been steadily growing. Nowadays most of the operations that imply complex manipulations with data and stor...
149
click to vote
JFP
2006
15 years 4 months ago
2006
This paper introduces reFLect, a functional programming language with reflection features intended for applications in hardware design and verification. The reFLect language is st...
131
click to vote
CCE
2004
15 years 3 months ago
2004
Batch time (energy) requirements are provided for the separation of a zeotropic mixture in three batch column configurations. The separation tasks were performed in two different ...
131
click to vote
CN
2002
15 years 3 months ago
2002
This paper describes technologies that enable IP service providers to offer tighter service level agreements for IP performance, in order to create competitive advantage and bette...