2664 search results - page 522 / 533 » The Many Faces of Agents |
114
click to vote
IFIP
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Applying changes to software engineering processes in organisations usually raises many problems of varying nature. Basing on a real-world 2-year project and a simultaneo...
126
click to vote
TARK
2007
Springer
15 years 5 months ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
Sequential auctions are an important mechanism for buying/selling multiple objects. Existing work has studied sequential auctions for objects that are exclusively either common va...
IPMI
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Recent advances in molecular biology are providing new opportunities for breast cancer imaging. Our approach uses ultrasound to image viscoelastic features of tumors. The...
VSTTE
2005
Springer
15 years 5 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...