Sciweavers

1746 search results - page 209 / 350
» Residual for Component Specifications
Sort
View
ECWEB
2005
Springer
187views ECommerce» more  ECWEB 2005»
16 years 1 days ago
Improving Reuse of Web Service Compositions
We describe a methodology for assembling composite services based on three basic processes which are independent of the concrete implementation: Abstraction Process, Service Compos...
Carlos Granell, Michael Gould, Roy Grønmo, ...
CAISE
2004
Springer
15 years 12 months ago
Facing Document-Provider Heterogeneity in Knowledge Portals
Knowledge portals aim at facilitating the location, sharing and dissemination of information by sitting ontologies at the core of the system. For heterogeneous environments where c...
Jon Iturrioz, Oscar Díaz, Sergio Fern&aacut...
IBERAMIA
2004
Springer
15 years 12 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, ...
IEAAIE
2004
Springer
15 years 12 months ago
Incremental Induction of Classification Rules for Cultural Heritage Documents
This work presents the application of a first-order logic incremental learning system, INTHELEX, to learn rules for the automatic identification of a wide range of significant docu...
Teresa Maria Altomare Basile, Stefano Ferilli, Nic...
ACSAC
2003
IEEE
15 years 11 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