5200 search results - page 934 / 1040 » Symbolic models for control systems |
ESAW
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. If we are to enable agents to handle increasingly greater levels of complexity, it is necessary to equip them with mechanisms that support greater degrees of autonomy. Th...
ICMI
2004
Springer
14 years 3 months ago
2004
Springer
In this paper, we describe the GroupMedia system, which uses wireless wearable computers to measure audio features, headmovement, and galvanic skin response (GSR) for dyads and gr...
COOPIS
2003
IEEE
14 years 3 months ago
2003
IEEE
The Common Object Request Broker Architecture standardizes a platform- and programming-language-independent distributed object computing environment. It also provides a standard fo...
ECRTS
2003
IEEE
14 years 3 months ago
2003
IEEE
The Real-Time Specification for Java (RTSJ) provides a platform for the development of real-time applications. However, the RTSJ does not take the distribution requirements of re...
TLDI
2003
ACM
14 years 3 months ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...