Sciweavers

1592 search results - page 221 / 319
» The state of the email address
Sort
View
CDC
2009
IEEE
119views Control Systems» more  CDC 2009»
15 years 6 months ago
Isochronous manifolds in self-triggered control
Abstract— Feedback control laws are predominantly implemented on digital platforms as periodic tasks. Although periodicity simplifies the analysis and design of the implementati...
Adolfo Anta Martinez, Paulo Tabuada
97
Voted
FM
2009
Springer
95views Formal Methods» more  FM 2009»
15 years 5 months ago
On the Complexity of Synthesizing Relaxed and Graceful Bounded-Time 2-Phase Recovery
The problem of enforcing bounded-time 2-phase recovery in real-time programs is often necessitated by conflict between faulttolerance requirements and timing constraints. In this ...
Borzoo Bonakdarpour, Sandeep S. Kulkarni
116
Voted
AGENTS
2001
Springer
15 years 5 months ago
Automatically tracking and analyzing the behavior of live insect colonies
We introduce the study of live social insect colonies as a relevant and exciting domain for the development and application of multi-agent systems modeling tools. Social insects p...
Tucker R. Balch, Zia Khan, Manuela M. Veloso
76
Voted
SIGGRAPH
2010
ACM
15 years 5 months ago
Dynamic local remeshing for elastoplastic simulation
We propose a finite element simulation method that addresses the full range of material behavior, from purely elastic to highly plastic, for physical domains that are substantial...
Martin Wicke, Daniel Ritchie, Bryan M. Klingner, S...
ICSE
2001
IEEE-ACM
15 years 5 months ago
A Scalable Formal Method for Design and Automatic Checking of User Interfaces
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
Jean Berstel, Stefano Crespi-Reghizzi, Gilles Rous...