3161 search results - page 354 / 633 » Documenting framework behavior |
182
click to vote
ICRA
2007
IEEE
16 years 29 days ago
2007
IEEE
— Given a robot model and a class of admissible environments, this paper provides a framework for automatically and verifiably composing controllers that satisfy high level task...
151
click to vote
HYBRID
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
159
click to vote
KBSE
2006
IEEE
16 years 20 days ago
2006
IEEE
A software system interacts with its environment through system interfaces. Robustness of software systems are governed by various temporal properties related to these interfaces,...
181
click to vote
CASES
2006
ACM
16 years 19 days ago
2006
ACM
Dynamic binary instrumentation (DBI) is a powerful technique for analyzing the runtime behavior of software. While numerous DBI frameworks have been developed for general-purpose ...
138
click to vote
MSWIM
2005
ACM
16 years 6 days ago
2005
ACM
Developing network protocols for mobile wireless systems is a complex task, and most of the existing simulator frameworks are not well suited for experimental development. The YAE...