445 search results - page 12 / 89 » A Call Abstraction for Component Coordination |
CD
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Component orientation is a current trend for creating modern applications. The concept of a component is broad and includes plugins and other units of modularization. Typ...
TACAS
2010
Springer
13 years 6 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
CEEMAS
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. Coordination and cooperation are crucial notions in multi-agent systems. We provide a constraint programming language called GrAPL, with facilities for group communicatio...
P2PKM
2004
13 years 10 months ago
2004
Abstract. We are interested in the development of a database management layer which is completely portable and, therefore, "pluggable" on top of multiple host platforms. ...
ECSCW
1993
13 years 10 months ago
1993
Abstract: There is little understanding of how distributed writing groups manage their collaboration and what kinds of support are most useful. The paper presents three case studie...