Sciweavers

985 search results - page 147 / 197
» Abstract Interactions and Interaction Refinement in Model-Dr...
Sort
View
PROMAS
2004
Springer
15 years 9 months ago
Goal Representation for BDI Agent Systems
Abstract. Agent-oriented system development aims to simplify the conn of complex systems by introducing a natural abstraction layer on top of the object-oriented paradigm composed ...
Lars Braubach, Alexander Pokahr, Daniel Moldt, Win...
139
Voted
PERVASIVE
2007
Springer
15 years 10 months ago
Ambient Interfaces that Motivate Changes in Human Behavior
Peripheral or ambient displays move information from the periphery to the center of human attention and back. Our research group is interested in the interaction and interface des...
Jodi Forlizzi, Ian Li, Anind K. Dey
HRI
2009
ACM
15 years 8 months ago
Nonverbal leakage in robots: communication of intentions through seemingly unintentional behavior
Human communication involves a number of nonverbal cues that are seemingly unintentional, unconscious, and automatic—both in their production and perception—and convey rich in...
Bilge Mutlu, Fumitaka Yamaoka, Takayuki Kanda, Hir...
ICFEM
2003
Springer
15 years 9 months ago
Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
Mickaël Kerboeuf, David Nowak, Jean-Pierre Ta...
DAC
2004
ACM
16 years 5 months ago
An integrated hardware/software approach for run-time scratchpad management
An ever increasing number of dynamic interactive applications are implemented on portable consumer electronics. Designers depend largely on operating systems to map these applicat...
Francesco Poletti, Paul Marchal, David Atienza, Lu...