3809 search results - page 285 / 762 » Associative language descriptions |
170
click to vote
POLICY
2005
Springer
16 years 6 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...
162
click to vote
UML
2005
Springer
16 years 5 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 ...
184
click to vote
DALT
2004
Springer
16 years 3 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 ...
144
click to vote
CORR
2007
Springer
15 years 6 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 ...
202
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...