1269 search results - page 11 / 254 » Course on System Design (structural approach) |
LOPSTR
1997
Springer
15 years 1 months ago
1997
Springer
Abstract. We present an approach to a coherent program synthesis system which integrates a variety of interactively controlled and automated techniques from theorem proving and alg...
SAC
2002
ACM
14 years 9 months ago
2002
ACM
Event-based systems are developed and used as a coordination model to integrate components in loosely coupled systems. Research and product development focused so far on efficienc...
CEC
2005
IEEE
15 years 3 months ago
2005
IEEE
The complex interactions of natural swarms, for example formed by some social insects, are difficult to comprehend. Considering tasks such as nestbuilding, the necessary underlyin...
105
click to vote
SISW
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper describes a system that supports high availability of data, until the data should be expunged, at which time it is impossible to recover the data. This design supports ...
AAAI
1994
14 years 11 months ago
1994
A variety of reactive plan execution systems have been developed in recent years, each attempting to solve the problem of taking reasonable courses of action fast enough in a dyna...