3573 search results - page 38 / 715 » Reasoning about Codata |
PLPV
2010
ACM
15 years 7 months ago
2010
ACM
Reasoning about object-oriented programs is difficult since such programs usually involve aliasing, and it is not easy to identify the ways objects can relate to each other and t...
85
Voted
ICTAI
2008
IEEE
15 years 5 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 ...
79
Voted
ACMICEC
2004
ACM
15 years 4 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 — ...
96
Voted
ICDCS
2002
IEEE
15 years 3 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...
90
Voted
COORDINATION
2006
Springer
15 years 2 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...