Sciweavers

1656 search results - page 82 / 332
» Ontology Composition using a Role Modeling Approach
Sort
View
172
Voted
COLCOM
2008
IEEE
15 years 5 months ago
Mashup Model and Verification Using Mashup Processing Network
Abstract. Mashups are defined to be lightweight Web applications aggregating data from different Web services, built using ad-hoc composition and being not concerned with long term...
Ehtesham Zahoor, Olivier Perrin, Claude Godart
152
Voted
QEST
2010
IEEE
15 years 1 months ago
Automatic Compositional Reasoning for Probabilistic Model Checking of Hardware Designs
Adaptive techniques like voltage and frequency scaling, process variations and the randomness of input data contribute signi cantly to the statistical aspect of contemporary hardwa...
Jayanand Asok Kumar, Shobha Vasudevan
ASWEC
2009
IEEE
15 years 10 months ago
Component Coordination in GLoo
Incorporating components from a number of different sources into a given application is generally considered to be a non-trivial activity. Over the years, various coordination mec...
Jean-Guy Schneider, Markus Lumpe
113
Voted
LOPSTR
1999
Springer
15 years 7 months ago
Roles of Program Extension
Abstract. A formal and effective approach to the extension of the computational behaviour of logic programs is presented. The approach builds upon the following concepts. The exte...
Ralf Lämmel, Günter Riedewald, Wolfgang ...
106
Voted
AIL
2007
104views more  AIL 2007»
15 years 3 months ago
Commonsense Causal Explanation in a Legal Domain
In this paper, we present an approach to commonsense causal explanation of stories that can be used for automatically determining the liable party in legal case descriptions. The a...
Rinke Hoekstra, Joost Breuker