132 search results - page 16 / 27 » Logic for Automated Mechanism Design - A Progress Report |
ICAIL
2003
ACM
13 years 12 months ago
2003
ACM
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...
FPGA
2006
ACM
13 years 10 months ago
2006
ACM
This report describes a preliminary evaluation of possible performance of an FPGA-like architecture for future hybrid "CMOL" circuits which combine a semiconductor-trans...
WWW
2001
ACM
14 years 7 months ago
2001
ACM
XQForms is the first generator of Web-based query forms and reports for XML data. XQForms takes as input (i) XML Schemas that model the data to be queried and presented, (ii) decl...
INFOCOM
2010
IEEE
13 years 5 months ago
2010
IEEE
—A SEA Swarm (Sensor Equipped Aquatic Swarm) is a sensor cloud that drifts with water currents and enables 4D (space and time) monitoring of local underwater events such as conta...
KBSE
1999
IEEE
13 years 11 months ago
1999
IEEE
There is an increasingly large demand for software systems which are able to operate effectively in dynamic environments. In such environments, automated software engineering is e...