2858 search results - page 503 / 572 » Logics with Aggregate Operators |
168
click to vote
CIA
2004
Springer
15 years 11 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...
159
click to vote
DFG
2004
Springer
15 years 11 months ago
2004
Springer
In the ForMoSA project [17] an integrated approach for safety analysis of critical, embedded systems has been developed. The approach brings together the best of engineering practi...
167
click to vote
DFG
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Today's manufacturing industry demands flexible and decentralized production control systems to avoid hours of down time of the production line in case of a failure ...
220
click to vote
E4MAS
2004
Springer
15 years 11 months ago
2004
Springer
The increasing ubiquity of mobile computing devices has made mobile ad hoc networks an everyday occurrence. Applications in these networks are commonly structured as a logical netw...
157
click to vote
ER
2004
Springer
15 years 11 months ago
2004
Springer
A major issue in the study of semantic Web services concerns the matching problem of Web services. Various techniques for this problem have been proposed. Typical ones include FSM ...