3809 search results - page 285 / 762 » Associative language descriptions |
185
click to vote
POLICY
2005
Springer
16 years 28 days ago
2005
Springer
We describe a policy language and implement its associated proof checking system. In our system, agents can distribute data along with usage policies in a decentralized architectu...
188
click to vote
UML
2005
Springer
16 years 27 days ago
2005
Springer
: This paper presents an overview of the workshop MARTES on Modeling and Analysis of Real-time and Embedded Systems that has taken place for the first time in association with the ...
212
click to vote
DALT
2004
Springer
16 years 25 days ago
2004
Springer
In this paper we address the challenges associated with the verification of correctness of communication between agents in MultiAgent Systems. Our approach applies model-checking ...
174
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
We propose a range of deep lexical acquisition methods which make use of morphological, syntactic and ontological language resources to model word similarity and bootstrap from a ...
220
click to vote
ENTCS
2011
15 years 1 months ago
2011
This paper presents a game semantics for a simply-typed λ-calculus with qbits constants and associated quantum operations. The resulting language is expressive enough to encode a...