1981 search results - page 337 / 397 » Model-Checking Hierarchical Structures |
GROUP
2003
ACM
14 years 2 months ago
2003
ACM
We describe a new collaborative technology that is mid-way between the informality of email and the formality of shared workspaces. Email and other ad hoc collaboration systems ar...
ADAEUROPE
2003
Springer
14 years 2 months ago
2003
Springer
The existence of a standard container library has been largely recognized as a key feature for improving the quality and effectiveness of Ada programming. In this paper, we aim at...
FM
2003
Springer
14 years 2 months ago
2003
Springer
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
ICMI
2003
Springer
14 years 2 months ago
2003
Springer
Informal presentations are a lightweight means for fast and convenient communication of ideas. People communicate their ideas to others on paper and whiteboards, which afford flui...
ICRA
2002
IEEE
14 years 1 months ago
2002
IEEE
We present a new algorithm that enables a convex shaped robot to explore an unknown planar workspace, i.e., an unknown configuration space diffeomorphic to SE(2). This new algor...