Sciweavers

12478 search results - page 1706 / 2496
» Secure Interaction Design
Sort
View
ESOP
2006
Springer
15 years 11 months ago
Embedding Dynamic Dataflow in a Call-by-Value Language
This paper describes FrTime, an extension of Scheme designed for writing interactive applications. Inspired by functional reactive programming, the language embeds dynamic dataflow...
Gregory H. Cooper, Shriram Krishnamurthi
GECCO
2006
Springer
124views Optimization» more  GECCO 2006»
15 years 11 months ago
Rotated test problems for assessing the performance of multi-objective optimization algorithms
This paper presents four rotatable multi-objective test problems that are designed for testing EMO (Evolutionary Multiobjective Optimization) algorithms on their ability in dealin...
Antony W. Iorio, Xiaodong Li
ATAL
2003
Springer
15 years 11 months ago
An exploration of bugs and debugging in multi-agent systems
Debugging multi-agent systems, which are concurrent, distributed, and consist of complex components, is difficult, yet crucial. In earlier work we have proposed mechanisms whereby...
David Poutakidis, Lin Padgham, Michael Winikoff
ATAL
2003
Springer
15 years 11 months ago
Distributed enactment of multiagent workflows: temporal logic for web service composition
We address the problem of constructing multiagent systems by coordinating heterogeneous, autonomous agents, whose internal designs may not be fully known. A major application area...
Munindar P. Singh
HYBRID
2000
Springer
15 years 11 months ago
Decidable Controller Synthesis for Classes of Linear Systems
A problem of great interest in the control of hybrid systems is the design of least restrictive controllers for reachability specifications. Controller design typically uses game t...
Omid Shakernia, Shankar Sastry, George J. Pappas
« Prev « First page 1706 / 2496 Last » Next »