10038 search results - page 1683 / 2008 » Model Checking for Managers |
193
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
Project JXTA is the first peer-to-peer application development infrastructure, consisting of standard protocols and multi-language implementations. A JXTA peer network is a comple...
195
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
Information systems must establish trust to cooperate effectively in open environments. We are developing an agent-based approach for establishing trust, where information systems ...
157
click to vote
ECTEL
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The libre software development model has shown how combining collective intelligence can lead to revolutionary methods that underpin major software advancements. This pap...
143
click to vote
EKAW
2006
Springer
15 years 10 months ago
2006
Springer
Guidelines (Extended abstract) Ruud Stegers1 , Annette ten Teije1 , and Frank van Harmelen1 Vrije Universiteit, Amsterdam The main problem encountered when starting verification of...
193
click to vote
ASWEC
2001
IEEE
15 years 10 months ago
2001
IEEE
Mainstreaming and industrialising agent technologies requires suitable methodological and technological support for the various engineering activities associated with managing the...