10707 search results - page 131 / 2142 » Designing executable abstractions |
117
Voted
ICSE
2004
IEEE-ACM
16 years 3 months ago
2004
IEEE-ACM
One of the challenging problems for software developers is guaranteeing that a system as built is consistent with its architectural design. In this paper we describe a technique t...
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract Climbing robots that climb flat structures using suction cups or magnets are commonly described in the literature. However, robots that can autonomously find randomly plac...
116
Voted
FMCO
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]....
127
click to vote
TACS
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. Flexibility of programming and efficiency of program execution are two important features of a programming language. Unfortunately, however, there is an inherent conflict...
132
Voted
FLAIRS
2006
15 years 4 months ago
2006
Representation is a fluent. A mismatch between the real world and an agent's representation of it can be signalled by unexpected failures (or successes) of the agent's r...