Sciweavers

2522 search results - page 423 / 505
» Tokenized Interaction Architecture
Sort
View
HYBRID
2000
Springer
14 years 19 days 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, ...
OOPSLA
2000
Springer
14 years 18 days ago
Application isolation in the JavaTM Virtual Machine
To date, systems offering multitasking for the JavaTM programming language either use one process or one class loader for each application. Both approaches are unsatisfactory. Usi...
Grzegorz Czajkowski
UML
2000
Springer
14 years 18 days ago
On the Extension of UML with Use Case Maps Concepts
Descriptions of reactive systems focus heavily on behavioral aspects, often in terms of scenarios. To cope with the increasing complexity of services provided by these systems, beh...
Daniel Amyot, Gunter Mussbacher
AAAI
2008
13 years 11 months ago
Incorporating Mental Simulation for a More Effective Robotic Teammate
How can we facilitate human-robot teamwork? The teamwork literature has identified the need to know the capabilities of teammates. How can we integrate the knowledge of another ag...
William G. Kennedy, Magdalena D. Bugajska, William...
FLAIRS
2008
13 years 11 months ago
Longboard: A Sketch Based Intelligent Storyboarding Tool for Creating Machinima
Real-time 3D game environments provide a compelling medium for cinematic storytelling. Professional filmmakers have started using them for pre-visualization. They provide a low-co...
Arnav Jhala, Curtis Rawls, Samuel Munilla, R. Mich...