Sciweavers

2038 search results - page 122 / 408
» Probabilistic Agent Programs
Sort
View
131
Voted
ASPLOS
2010
ACM
15 years 12 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 ...
140
Voted
UM
2001
Springer
15 years 9 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
130
Voted
ENTCS
2006
120views more  ENTCS 2006»
15 years 5 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
15 years 11 months 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...
156
Voted
CJ
2010
150views more  CJ 2010»
15 years 2 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...