395 search results - page 35 / 79 » Program abstractions for behaviour validation |
AGENTCL
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. In this paper, we study the operational semantics of agent communication languages.We develop a basic multi-agent programming language for systems of concurrently operati...
FOSSACS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed, to study historybased access control. It allows for security policies with a possibly nested, local scope. We define a type ...
ICRA
2005
IEEE
14 years 3 months ago
2005
IEEE
Abstract Our work aims at developing a robust discriminant controller for robot programming by demonstration. It addresses two core issues of imitation learning, namely what to...
ICIW
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract-- Maintaining large websites and verifying their semantic content is a difficult task. In this paper we propose a framework for syntactic validation, semantic verification...
WICSA
2008
13 years 11 months ago
2008
This paper introduces an architectural style for enabling end-users to quickly design and deploy software systems in domains characterized by highly personalized and dynamic requi...