76 search results - page 9 / 16 » Specification of real-time and hybrid systems in rewriting l... |
FSEN
2009
Springer
15 years 1 months ago
2009
Springer
We propose and explore a formal approach for black-box testing asynchronously communicating components in open environments. Asynchronicity poses a challenge for validating and tes...
100
click to vote
CDC
2010
IEEE
14 years 4 months ago
2010
IEEE
In this paper, we consider the problem of motion planning for mobile robots with nonlinear hybrid dynamics, and high-level temporal goals. We use a multi-layered synergistic framew...
CIG
2005
IEEE
15 years 3 months ago
2005
IEEE
The aim of developing an agent that is able to adapt its actions in response to their effectiveness within the game provides the basis for the research presented in this paper. It ...
104
click to vote
CSI
2007
14 years 9 months ago
2007
The Reference Model of Open Distributed Processing (RM-ODP) is a joint standardization effort by ITU-T and ISO/IEC for the specification of large open distributed systems. RM-ODP ...
ACL
1989
14 years 10 months ago
1989
In BBN's natural language understanding and generation system (Janus), we have used a hybrid approach to representation, employing an intensional logic for the representation...