1301 search results - page 44 / 261 » Specifications via Realizability |
BIRTHDAY
2009
Springer
13 years 6 months ago
2009
Springer
Weighted transition systems are defined, parametrized by a commutative monoid of weights. These systems are further understood as coalgebras for functors of a specific form. A gene...
WSC
2007
13 years 11 months ago
2007
The significance of simulation modeling at multiple levels, scales, and perspectives is well recognized. However, existing proposals for developing such models are often applicati...
AAAI
2004
13 years 10 months ago
2004
Model checking is a promising approach to automatic verification, which has concentrated on specification expressed in temporal logic. Comparatively little attention has been give...
ICRA
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper describes a system which uses a mobile manipulator as a teleoperated tool for accessing and manipulating remote objects, in our challenge to extend mobile robot potenti...
WCRE
1999
IEEE
14 years 1 months ago
1999
IEEE
Software architecture, as a vehicle for communication and reasoning about software systems and their quality, is becoming an area of focus in both the forward- and reverseengineer...