Sciweavers

2038 search results - page 122 / 408
» Probabilistic Agent Programs
Sort
View
ASPLOS
2010
ACM
16 years 1 months ago
Shoestring: probabilistic soft error reliability on the cheap
Aggressive technology scaling provides designers with an ever increasing budget of cheaper and faster transistors. Unfortunately, this trend is accompanied by a decline in individ...
Shuguang Feng, Shantanu Gupta, Amin Ansari, Scott ...
UM
2001
Springer
15 years 11 months ago
Enhancing Embodied Intelligent Agents with Affective User Modelling
The objective of this research is the exploration how affective knowledge used in global controlling mechanisms for public information systems with lifelike presentation agents wil...
Patrick Gebhard
ENTCS
2006
120views more  ENTCS 2006»
15 years 6 months ago
Flexible Communication of Agents based on FIPA-ACL
Communication in multi-agent systems is an important subject of the current research. In this paper, the syntax and semantics of a multi-agent programming language, called ECCS, a...
M. Jamshid Bagherzadeh, S. Arun-Kumar
CSFW
2006
IEEE
16 years 17 days ago
Information-Flow Security for Interactive Programs
Abstract. Interactive programs allow users to engage in input and output throughout execution. The ubiquity of such programs motivates the development of models for reasoning about...
Kevin R. O'Neill, Michael R. Clarkson, Stephen Cho...
CJ
2010
150views more  CJ 2010»
15 years 3 months ago
Program Analysis Probably Counts
Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...