4350 search results - page 328 / 870 » Case studies for contract-based systems |
162
click to vote
MATA
2004
Springer
16 years 2 days ago
2004
Springer
Although inexpensive, high performance computer graphics hardware has become commonly available, its application in the mobile agent and networking fields has thus far been limite...
194
click to vote
PPDP
2004
Springer
16 years 2 days ago
2004
Springer
We present a generalisation of first-order rewriting which allows us to deal with terms involving binding operations in an elegant and practical way. We use a nominal approach to...
136
click to vote
ECIS
2001
15 years 8 months ago
2001
Information technology (IT) support for managing competence is based on a rationalistic view of competence. While these competence systems might work in rationalistic organization...
237
click to vote
MC
2001
15 years 8 months ago
2001
The computer support of cooperation and knowledge production across socially distributed activity systems has become an important topic in the context of the discourse on ,,knowle...
176
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
A growing body of literature in networked systems research relies on game theory and mechanism design to model and address the potential lack of cooperation between self-intereste...