Sciweavers

7340 search results - page 1120 / 1468
» The Behavior of Tutoring Systems
Sort
View
APSCC
2008
IEEE
15 years 8 months ago
Contract-Based Security Monitors for Service Oriented Software Architecture
Monitors have been used for real-time systems to ensure proper behavior; however, most approaches do not allow for the addition of relevant fields required to identify and react t...
Alexander M. Hoole, Issa Traoré
190
Voted
ASPDAC
2008
ACM
119views Hardware» more  ASPDAC 2008»
15 years 8 months ago
A stochastic local hot spot alerting technique
- With the increasing levels of variability in the behavior of manufactured nano-scale devices and dramatic changes in the power density on a chip, timely identification of hot spo...
Hwisung Jung, Massoud Pedram
ATAL
2008
Springer
15 years 8 months ago
Reinforcement learning for DEC-MDPs with changing action sets and partially ordered dependencies
Decentralized Markov decision processes are frequently used to model cooperative multi-agent systems. In this paper, we identify a subclass of general DEC-MDPs that features regul...
Thomas Gabel, Martin A. Riedmiller
ATAL
2008
Springer
15 years 8 months ago
Force Versus Majority: A Comparison in Convention Emergence Efficiency
In open societies such as multi-agent systems, it is important that coordination among the several actors is achieved efficiently. One economical way of capturing that aspiration ...
Paulo Urbano, João Balsa, Luis Antunes, Lu&...
CC
2008
Springer
124views System Software» more  CC 2008»
15 years 8 months ago
Coqa: Concurrent Objects with Quantized Atomicity
This paper introduces a new language model, Coqa, for deeply embedding concurrent programming into objects. Every program written in our language has the desirable behaviors of ato...
Yu David Liu, Xiaoqi Lu, Scott F. Smith
« Prev « First page 1120 / 1468 Last » Next »