22909 search results - page 31 / 4582 » A System of Interaction and Structure |
112
click to vote
TEC
2008
15 years 1 months ago
2008
Over the last decade, significant progress has been made in understanding complex biological systems, however there have been few attempts at incorporating this knowledge into natu...
153
Voted
ISORC
1998
IEEE
15 years 6 months ago
1998
IEEE
We present a coordination language and its semantics for specification and implementation of object-oriented realtime systems. Real-time systems operate under real-time constraint...
112
click to vote
SIGGRAPH
1997
ACM
15 years 6 months ago
1997
ACM
This paper describes the integration of the Berkeley Architectural Walkthrough Program with the National Institute of Standards and Technology’s CFAST fire simulator. The integ...
109
click to vote
IROS
2008
IEEE
15 years 8 months ago
2008
IEEE
— We present a topological navigation system that is able to visually recognize the different rooms of an apartment and guide a robot between them. Specifically tailored for sma...
90
Voted
CONCUR
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...