Sciweavers

7512 search results - page 1206 / 1503
» Robust Computations with Dynamical Systems
Sort
View
ICSE
2009
IEEE-ACM
16 years 7 months ago
Modular string-sensitive permission analysis with demand-driven precision
In modern software systems, programs are obtained by dynamically assembling components. This has made it necessary to subject component providers to access-control restrictions. W...
Emmanuel Geay, Marco Pistoia, Takaaki Tateishi, Ba...
ICCS
2007
Springer
16 years 25 days ago
Equivalent Semantic Translation from Parallel DEVS Models to Time Automata
Dynamic reconfigurable simulation based on Discrete Event System Specification (DEVS) requires efficient verification of simulation models. Traditional verification method of DEVS ...
Shoupeng Han, Kedi Huang
CIG
2005
IEEE
16 years 8 days ago
Utile Coordination: Learning Interdependencies Among Cooperative Agents
AbstractWe describe Utile Coordination, an algorithm that allows a multiagent system to learn where and how to coordinate. The method starts with uncoordinated learners and maintai...
Jelle R. Kok, Pieter Jan't Hoen, Bram Bakker, Niko...
HAPTICS
2005
IEEE
16 years 8 days ago
The Snaptic Paddle: A Modular Haptic Device
The Haptic Paddle was developed previously as an inexpensive haptic device for educational use, and has been applied to course topics such as dynamic systems and introductory cont...
Christopher E. Wong, Allison M. Okamura
ISORC
2005
IEEE
16 years 7 days ago
On Recent Advances in Time/Utility Function Real-Time Scheduling and Resource Management
We argue that the key underpinning of the current state-of-the real-time practice — the priority artifact — and that of the current state-of-the real-time art — deadline-bas...
Binoy Ravindran, E. Douglas Jensen, Peng Li
« Prev « First page 1206 / 1503 Last » Next »