4224 search results - page 47 / 845 » Reasoning about Choice |
131
click to vote
ICTAI
2008
IEEE
15 years 11 months ago
2008
IEEE
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
133
Voted
ACMICEC
2004
ACM
15 years 10 months ago
2004
ACM
Automated negotiation by software agents is a key enabling technology for agent mediated e-commerce. To this end, this paper considers an important class of such negotiations — ...
152
Voted
ICDCS
2002
IEEE
15 years 10 months ago
2002
IEEE
We argue that joint administration of access policies for a dynamic coalition formed by autonomous domains requires that these domains set up a coalition authority that distribute...
160
click to vote
COORDINATION
2006
Springer
15 years 8 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...
149
click to vote
FASE
2008
Springer
15 years 6 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 ...