Sciweavers

2763 search results - page 147 / 553
» The Dangerous 'All' in Specifications
Sort
View
JCDL
2004
ACM
121views Education» more  JCDL 2004»
14 years 3 months ago
Enabling interoperability for autonomous digital libraries: an API to citeseer services
We introduce CiteSeer-API, a public API to CiteSeer-like services. CiteSeer-API is SOAP/WSDL based and allows for easy programatical access to all the specific functionalities off...
Yves Petinot, C. Lee Giles, Vivek Bhatnagar, Prade...
ATAL
2004
Springer
14 years 3 months ago
Using the Experimental Method to Produce Reliable Self-Organised Systems
The ‘engineering’ and ‘adaptive’ approaches to system production are distinguished. It is argued that producing reliable self-organised software systems (SOSS) will necessa...
Bruce Edmonds
IBERAMIA
2004
Springer
14 years 3 months ago
Checking Social Properties of Multi-agent Systems with Activity Theory
Many approaches of the agent paradigm emphasize the social and intentional features of their systems, what are called social properties. The study of these aspects demands their ow...
Rubén Fuentes, Jorge J. Gómez-Sanz, ...
ICCHP
2004
Springer
14 years 3 months ago
Developing an e-Learning Platform for the Greek Sign Language
In this paper we introduce the characteristics of the educational platform that is being developed within the SYNENNOESE project. The platform integrates avatar and animation techn...
Eleni Efthimiou, G. Sapountzaki, Kostas Karpouzis,...
ACSAC
2003
IEEE
14 years 3 months ago
A Multi-View Tool for Checking the Security Semantics of Router Configurations
Routers are critical components of IP networks, but hardly any tool support for analyzing their security exists to date. We have developed such a tool, named CROCODILE, that track...
Holger Peine, Reinhard Schwarz