3498 search results - page 474 / 700 » Role Model Based Framework Design and Integration |
167
click to vote
HOTI
2008
IEEE
16 years 27 days ago
2008
IEEE
Much of high performance technical computing has moved from shared memory architectures to message based cluster systems. The development and wide adoption of the MPI parallel pro...
172
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
This contribution presents a deployment exercise of multiagent technology in the domain of deconflicted air-traffic control among several autonomous aerial vehicles (manned as wel...
165
click to vote
LREC
2010
15 years 8 months ago
2010
Natural language understanding systems require a knowledge base provided with conceptual representations reflecting the structure of human beings' cognitive system. Although ...
181
click to vote
ICFEM
2009
Springer
15 years 4 months ago
2009
Springer
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...
207
click to vote
AMOST
2007
ACM
15 years 10 months ago
2007
ACM
We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. Th...