4126 search results - page 419 / 826 » Relationships with other Formalisms |
149
click to vote
FM
2003
Springer
16 years 2 days ago
2003
Springer
We explore the question of the composition of invariance specifications in a context of concurrent and reactive systems. Depending on how compositionality is stated and how invar...
169
Voted
ICADL
2003
Springer
16 years 2 days ago
2003
Springer
Building a shared and widely accessible repository, in order for scientists and end users to exploit it easily, results in tackling a variety of issues. Among others, the need for ...
198
Voted
ICCS
2003
Springer
16 years 2 days ago
2003
Springer
Agent communication languages such as KQML and the FIPA ACL serve as metalanguages to define software agent message-passing protocols. These metalanguages are incompatible with eac...
173
click to vote
IEAAIE
2003
Springer
16 years 2 days ago
2003
Springer
A knowledge base is maintained by modifying its conceptual model and by using those modifications to specify changes to its implementation. The maintenance problem is to determine ...
161
click to vote
ISMIS
2003
Springer
16 years 1 days ago
2003
Springer
We discuss how mobile agents, moving in the Internet from node to node, can communicate with each other by forwarding messages in a robust way. As a solution, we present the genera...