Sciweavers

1651 search results - page 8 / 331
» Negotiable Interfaces for Components
Sort
View
TOOLS
1998
IEEE
13 years 12 months ago
Modeling Dynamic Component Interfaces
In this paper we adopt a component model based on object-oriented systems, introducing the concepts of components and their structure. A component consists of a dynamically changi...
Franz Huber, Andreas Rausch, Bernhard Rumpe
ATAL
2008
Springer
13 years 9 months ago
Negotiating task interruptions with virtual agents for health behavior change
Virtual health counseling agents on mobile devices need to be able to interrupt their users when it is time for them to engage in healthy behaviors, such as scheduled medication t...
Timothy W. Bickmore, Daniel Mauer, Francisco Cresp...
EMSOFT
2001
Springer
14 years 5 days ago
Interface Theories for Component-Based Design
Abstract. We classify component-based models of computation into component models and interface models. A component model speci es for each component how the component behaves in a...
Luca de Alfaro, Thomas A. Henzinger
RTAS
2006
IEEE
14 years 1 months ago
An Interface Algebra for Real-Time Components
We present an assume-guarantee interface algebra for real-time components. In our formalism a component implements a set of task sequences that share a resource. A component inter...
Thomas A. Henzinger, Slobodan Matic
UIST
1999
ACM
13 years 12 months ago
Nested User Interface Components
Nested User Interface Components combine the concepts of Zooming User Interfaces (ZUIs) with recursive nesting of active graphical user interface widgets. The resulting system of ...
Ken Perlin, Jon Meyer