Sciweavers

1514 search results - page 142 / 303
» Cues to Common Knowledge
Sort
View
ATAL
1997
Springer
14 years 3 months ago
TKQML: A Scripting Tool for Building Agents
Tcl/Tk is an attractive language for the design of intelligent agents because it allows the quick construction of prototypes and user interfaces; new scripts can easily be bound at...
R. Scott Cost, Ian Soboroff, Jeegar Lakhani, Timot...
FC
2010
Springer
132views Cryptology» more  FC 2010»
14 years 2 months ago
A Learning-Based Approach to Reactive Security
Despite the conventional wisdom that proactive security is superior to reactive security, we show that reactive security can be competitive with proactive security as long as the r...
Adam Barth, Benjamin I. P. Rubinstein, Mukund Sund...
ATAL
2006
Springer
14 years 2 months ago
Complexity and succinctness of public announcement logic
There is a recent trend of extending epistemic logic (EL) with dynamic operators that allow to express the evolution of knowledge and induced by knowledge-changing actions. The mo...
Carsten Lutz
ECBS
2004
IEEE
84views Hardware» more  ECBS 2004»
14 years 2 months ago
A Methodology for Requirements Engineering Process Development
Adoption of the most suitable Requirements Engineering (RE) process and selection of the most appropriate RE techniques for a given project is a common challenge faced by industry...
Li Jiang, Armin Eberlein, Behrouz Homayoun Far
DSD
2006
IEEE
174views Hardware» more  DSD 2006»
14 years 2 months ago
Energy-Efficient Cache Coherence for Embedded Multi-Processor Systems through Application-Driven Snoop Filtering
Title of thesis: Energy-Efficient Cache Coherence for Embedded Multi-Processor Systems through Application-Driven Snoop Filtering Alokika Dash, Master of Science, 2006 Thesis dire...
Alokika Dash, Peter Petrov