Sciweavers

3095 search results - page 340 / 619
» Ubiquitous presence systems
Sort
View
CSFW
1995
IEEE
15 years 10 months ago
Composing and decomposing systems under security properties
We investigate the formal relationship between separability of processes and the types of non-interference properties they enjoy. Though intuitively appealing, separability – th...
A. W. Roscoe, L. Wulf
ARGMAS
2008
Springer
15 years 8 months ago
Co-ordination and Co-operation in Agent Systems: Social Laws and Argumentation
The social laws paradigm represents an important approach to the co-ordination of behaviour in multi-agent systems. In this paper we examine the relationship between social laws an...
Katie Atkinson, Trevor J. M. Bench-Capon
AAAI
2000
15 years 8 months ago
DATALOG with Constraints - An Answer-Set Programming System
Answer-set programming (ASP) has emerged recently as a viable programming paradigm well attuned to search problems in AI, constraint satisfaction and combinatorics. Propositional ...
Deborah East, Miroslaw Truszczynski
CONNECTION
2008
178views more  CONNECTION 2008»
15 years 6 months ago
Spoken language interaction with model uncertainty: an adaptive human-robot interaction system
Spoken language is one of the most intuitive forms of interaction between humans and agents. Unfortunately, agents that interact with people using natural language often experienc...
Finale Doshi, Nicholas Roy
CCR
2005
97views more  CCR 2005»
15 years 6 months ago
On the robustness of router-based denial-of-service (DoS) defense systems
This paper focuses on "router-based" defense mechanisms, and whether they can provide effective solutions to network Denialof-Service (DoS) attacks. Router-based defense...
Ying Xu, Roch Guérin