4126 search results - page 635 / 826 » Relationships with other Formalisms |
174
click to vote
CIA
2004
Springer
15 years 12 months ago
2004
Springer
Given a specification of communication rules in a multiagent system (in the form of protocols, ACL semantics, etc.), the question of how to design appropriate agents that can oper...
165
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
In this work we further investigate the relation, first found by Truszczy´nski, between modal logic S4F and Default Logic (DL), analyzing some interesting properties and showing ...
182
click to vote
ESWS
2004
Springer
15 years 12 months ago
2004
Springer
The next Web generation promises to deliver Semantic Web Services (SWS); services that are self-described and amenable to automated discovery, composition and invocation. A prerequ...
149
click to vote
FMCAD
2004
Springer
15 years 12 months ago
2004
Springer
This paper describes a new method that is useful in combinational equivalence checking with very challenging industrial designs. The method does not build a miter; instead it build...
154
click to vote
GC
2004
Springer
15 years 12 months ago
2004
Springer
In this paper an extension of a behavioural subset of UML statecharts for mobile computations is proposed. We study collections of UML objects whose behaviour is given by statechar...