3868 search results - page 179 / 774 » Open Systems in TLA |
190
click to vote
ENTCS
2008
15 years 7 months ago
2008
We describe the design and the present state of the verification tool Augur 2 which is currently being developed. It is based on Augur 1, a tool which can analyze graph transforma...
174
click to vote
ISM
2006
IEEE
16 years 1 months ago
2006
IEEE
Virtual labs enable field specific experiments and open them for collaborative and distributed usage. In order to realize comprehensive laboratory set-ups providing a scientifi...
200
click to vote
ATAL
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Control for agents situated in multi-agent systems is a complex problem. This is particularly true in hard, open, dynamic environments where resource, privacy, bandwidth,...
162
click to vote
SBIA
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. The ability to view extended logic programs as argumentation systems opens the way for the use of this language in formalizing communication among reasoning computing age...
243
Voted
EON
2008
15 years 8 months ago
2008
Abstract. This paper describes how semantic bridges realized in terms of rulebased ontology mappings can be incorporated into BPEL processes. The approach is explained by applying ...