Sciweavers

4689 search results - page 563 / 938
» Analysis and modeling of control tasks in dynamic systems
Sort
View
173
Voted
SIGSOFT
2003
ACM
16 years 7 months ago
Deadline analysis of interrupt-driven software
Real-time, reactive, and embedded systems are increasingly used throughout society (e.g., flight control, railway signaling, vehicle management, medical devices, and many others)....
Dennis Brylow, Jens Palsberg
191
Voted
SIGSAND
2008
15 years 8 months ago
Relational Model Driven Application Design
Abstract: A closer look at typical information systems shows that relatively simple routines often contribute significantly to the overall expenses of the software development proc...
Michael Guckert, René Gerlach
209
Voted
AI
1999
Springer
15 years 6 months ago
Emergent Cooperative Goal-Satisfaction in Large Scale Automated-Agent Systems
Cooperation among autonomous agents has been discussed in the DAI community for several years. Papers about cooperation 6,45 , negotiation 33 , distributed planning 5 , and coalit...
Onn Shehory, Sarit Kraus, Osher Yadgar
164
Voted
IAT
2009
IEEE
16 years 1 months ago
Modeling Agents with a Theory of Mind
Training systems with intelligent virtual agents provide an effective means to train people for complex, dynamic tasks like crisis management or firefighting. Virtual agents pro...
Maaike Harbers, Karel van den Bosch, John-Jules Ch...
189
Voted
CCS
2009
ACM
16 years 1 months ago
Dynamic provable data possession
As storage-outsourcing services and resource-sharing networks have become popular, the problem of efficiently proving the integrity of data stored at untrusted servers has receiv...
C. Christopher Erway, Alptekin Küpç&uu...