Sciweavers

1791 search results - page 61 / 359
» Behavioral Operations
Sort
View
HYBRID
2000
Springer
15 years 3 months ago
Modular Specification of Hybrid Systems in CHARON
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
Rajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar, ...
IVA
2007
Springer
15 years 6 months ago
The Rickel Gaze Model: A Window on the Mind of a Virtual Human
Gaze plays a large number of cognitive, communicative and affective roles in face-to-face human interaction. To build a believable virtual human, it is imperative to construct a ga...
Jina Lee, Stacy Marsella, David R. Traum, Jonathan...
CIA
2006
Springer
15 years 3 months ago
A Framework of Cooperative Agents with Implicit Support for Ontologies
Abstract. W3C's OWL has gained wide acceptance in the agent community and it has already been used in many agent applications which we think syntactically. By taking advantage...
Riza Cenk Erdur, Inanç Seylan
PODC
2010
ACM
15 years 3 months ago
Brief announcement: a shared disk on distributed storage
A shared disk implementation on distributed storage requires consistent behavior of disk operations. Deterministic consensus on such behavior is impossible when even a single stor...
Stefan Vijzelaar, Herbert Bos, Wan Fokkink
HOTOS
2003
IEEE
15 years 5 months ago
Cassyopia: Compiler Assisted System Optimization
Execution of a program almost always involves multiple address spaces, possibly across separate machines. Here, an approach to reducing such costs using compiler optimization tech...
Mohan Rajagopalan, Saumya K. Debray, Matti A. Hilt...