156 search results - page 13 / 32 » The GOQL Language and its Formal Specifications |
TSE
2002
14 years 11 months ago
2002
In this paper, we propose a means to enhance an architecture description language with a description of component behavior. A notation used for this purpose should be able to expr...
100
click to vote
COLING
1996
15 years 1 months ago
1996
Automatic compilation of the linking relation employed in certain parsing algorithms for context-free languages is examined. Special problems arise in the extension of these algor...
115
click to vote
GLOBECOM
2008
IEEE
14 years 12 months ago
2008
IEEE
Security is a critical issue in dynamic and open distributed environments such as network-based services or wireless networks. To ensure that a certain level of security is maintai...
102
Voted
ATAL
2007
Springer
15 years 3 months ago
2007
Springer
Formal specifications of protocol-oriented agent interactions have focused mainly on the semantics of the constituent agent communication language (ACL). We argue that a proper th...
CMOT
1998
14 years 11 months ago
1998
A programming language which is optimized for modelling multi-agent interaction within articulated social structures such as organizations is described with several examples of it...