Sciweavers

1111 search results - page 114 / 223
» A Conceptual Modeling Technique Based on Semantically Comple...
Sort
View
ICTAC
2009
Springer
13 years 6 months ago
Automatic Conflict Detection on Contracts
Abstract. Many software applications are based on collaborating, yet competing, agents or virtual organisations exchanging services. Contracts, expressing obligations, permissions ...
Stephen Fenech, Gordon J. Pace, Gerardo Schneider
AAAI
1990
13 years 10 months ago
Constructor: A System for the Induction of Probabilistic Models
The probabilistic network technology is a knowledgebased technique which focuses on reasoning under uncertainty. Because of its well defined semantics and solid theoretical founda...
Robert M. Fung, Stuart L. Crawford
EPIA
2003
Springer
14 years 2 months ago
An Evolvable Rule-Based E-mail Agent
The Semantic Web is a “living organism”, which combines autonomously evolving data sources/knowledge repositories. This dynamic character of the Semantic Web requires (declarat...
José Júlio Alferes, Antonio Brogi, J...
APSEC
1997
IEEE
14 years 1 months ago
Using Extended Event Traces to Describe Communication in Software Architectures
A crucial aspect of the architecture of a software system is its decomposition into components and the specification of component interactions. In this report we use a variant of...
Manfred Broy, Christoph Hofmann, Ingolf Krüge...
EDBT
2008
ACM
202views Database» more  EDBT 2008»
14 years 9 months ago
BeMatch: a platform for matchmaking service behavior models
The capability to easily find useful services (software applications, software components, scientific computations) becomes increasingly critical in several fields. Current approa...
Juan Carlos Corrales, Daniela Grigori, Mokrane Bou...