10707 search results - page 541 / 2142 » Designing executable abstractions |
171
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
We present CESE, a tool that combines exhaustive enumeration of test inputs from a structured domain with symbolic execution driven test generation. We target programs whose valid...
187
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— Hybrid deliberative-reactive control architectures are a popular and effective approach to the control of robotic navigation applications. However, the design of said architect...
176
click to vote
OTM
2007
Springer
16 years 1 months ago
2007
Springer
Frameworks that support the implementation and execution of service compositions are a fundamental component of middleware infrastructures that support the design of adaptive syste...
199
click to vote
ICMCS
2006
IEEE
16 years 1 months ago
2006
IEEE
Artists in new media arts explore the possibilities offered by digital technologies to create adaptive and interactive new media artworks integrating audio and video. In this pape...
211
click to vote
ATAL
2004
Springer
16 years 15 days ago
2004
Springer
The design and development of open multi-agent systems (MAS) is a key aspect in agent research. We advocate that they can be realised as electronic institutions. In this paper we ...