4762 search results - page 75 / 953 » About the use of protein models |
103
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
We present a logic for reasoning both about the ability of agents to cooperate to execute complex actions, and how this relates to their ability to reach certain states of affairs...
156
click to vote
ATAL
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. Just as cooperation in multi-agent systems is a central issue for solving complex tasks, so too is the ability for an intelligent agent to reason about combined knowledge...
122
click to vote
COORDINATION
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Constraint automata have been used as an operational model for component connectors that coordinate the cooperation and communication of the components by means of a netw...
115
click to vote
FASE
2008
Springer
15 years 3 months ago
2008
Springer
For a number of programming languages, among them Eiffel, C, Java and Ruby, Hoare-style logics and dynamic logics have been developed. In these logics, pre- and postconditions are ...
128
click to vote
TASE
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...