118 search results - page 22 / 24 » From Theory to Practice in Multiagent System Design: The Cas... |
GECCO
2005
Springer
14 years 2 months ago
2005
Springer
Mapping biology into computation has both a domain specific aspect – biological theory – and a methodological aspect – model development. Computational modelers have implici...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Software development is rarely an individual effort and generally involves teams of developers collaborating to generate good reliable code. Among the software code there exist te...
ICFP
2009
ACM
14 years 9 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
SACRYPT
1998
Springer
14 years 24 days ago
1998
Springer
Abstract. RC4, a stream cipher designed by Rivest for RSA Data Security Inc., has found several commercial applications, but little public analysis has been done to date. In this p...
INFOCOM
2008
IEEE
14 years 3 months ago
2008
IEEE
—The design of computer and communication systems has been based, for decades, on the fundamental assumption that the objective of all users is to improve their own performance. ...