Sciweavers

2638 search results - page 214 / 528
» A Framework for Automatic Debugging
Sort
View
IWDW
2005
Springer
16 years 15 days ago
On the Achievable Rate of Side Informed Embedding Techniques with Steganographic Constraints
The development of watermarking schemes in the literature is generally guided by a power constraint on the watermark to be embedded into the host. In a steganographic framework the...
Mark T. Hogan, Félix Balado, Neil J. Hurley...
176
Voted
IFIP
2004
Springer
16 years 11 days ago
Discretionary Overriding of Access Control in the Privilege Calculus
We extend a particular access control framework, the Privilege Calculus, with a possibility to override denied access for increased flexibility in hard to define or unanticipated...
Erik Rissanen, Babak Sadighi Firozabadi, Marek J. ...
ATAL
2008
Springer
15 years 9 months ago
Model-checking agent refinement
We present a proof-technique for reducing the nondeterminbstract agent specifications in a BDI framework by means of refinement. We implement the operational semantics of agent sp...
Lacramioara Astefanoaei, Frank S. de Boer
178
Voted
AAAI
2006
15 years 8 months ago
Learning Representation and Control in Continuous Markov Decision Processes
This paper presents a novel framework for simultaneously learning representation and control in continuous Markov decision processes. Our approach builds on the framework of proto...
Sridhar Mahadevan, Mauro Maggioni, Kimberly Fergus...
186
Voted
IJCIS
2006
123views more  IJCIS 2006»
15 years 7 months ago
Non-Intrusive Monitoring of Service-Based Systems
Abstract. This paper presents a framework for monitoring the compliance of systems composed of webservices with requirements set for them at run-time. This framework assumes system...
George Spanoudakis, Khaled Mahbub