53 search results - page 11 / 11 » A Methodology for Role-Based Modeling of Open Multi-Agent So... |
151
Voted
AGP
1999
IEEE
15 years 8 months ago
1999
IEEE
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...
154
Voted
CCS
2010
ACM
15 years 10 days ago
2010
ACM
Cryptographic systems and protocols are the core of many Internet security procedures (such as SSL, SSH, IPSEC, DNSSEC, secure mail, etc.). At the heart of all cryptographic funct...
127
Voted
IV
2003
IEEE
15 years 9 months ago
2003
IEEE
The paper begins with a response to the nature of contemporary artists relationships to how computers have permeated the fine art domain and how they affect the creative process. ...