1888 search results - page 309 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
148
click to vote
IUI
1993
ACM
15 years 9 months ago
1993
ACM
incompatibility. We introduce Mona, an operational email system embodying this automatic approach. Mona establishes conversation context independently of user actions through the ...
127
click to vote
SAC
2004
ACM
15 years 10 months ago
2004
ACM
1 This paper discusses the design and implementation details of MAST (Mobile Agent-based Security Tool), a new mobile agentbased network security approach. MAST has been designed t...
118
click to vote
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
This paper presents the specification of a programming language for implementing the deliberation cycle of cognitive agents. The mental attitudes of cognitive agents are assumed ...
135
click to vote
OOPSLA
2010
Springer
15 years 3 months ago
2010
Springer
Testing is among the most effective tools available for finding bugs. Still, we know of no automatic technique for generating test cases that expose bugs involving a combination ...
164
click to vote
MIDDLEWARE
2007
Springer
15 years 11 months ago
2007
Springer
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...