Sciweavers

4135 search results - page 719 / 827
» Application Modeling for the Semantic Web
Sort
View
DAGSTUHL
2008
15 years 5 months ago
The Grand Challenges and Myths of Neural-Symbolic Computation
The construction of computational cognitive models integrating the connectionist and symbolic paradigms of artificial intelligence is a standing research issue in the field. The co...
Luís C. Lamb
IFM
2010
Springer
203views Formal Methods» more  IFM 2010»
15 years 2 months ago
A CSP Approach to Control in Event-B
Event-B has emerged as one of the dominant state-based formal techniques used for modelling control-intensive applications. Due to the blocking semantics of events, their ordering ...
Steve Schneider, Helen Treharne, Heike Wehrheim
BTW
2009
Springer
138views Database» more  BTW 2009»
15 years 11 months ago
GEM: A Generic Visualization and Editing Facility for Heterogeneous Metadata
: Many model management tasks, e.g., schema matching or merging, require the manual handling of metadata. Given the diversity of metadata, its many different representations and mo...
Jürgen Göres, Thomas Jörg, Boris St...
ESWS
2005
Springer
15 years 9 months ago
Automatic Location of Services
The automatic location of services that fulfill a given need is seen as a key step towards dynamic and scalable integration. In this paper we present a model for the automatic loc...
Uwe Keller, Rubén Lara, Holger Lausen, Axel...
NCA
2003
IEEE
15 years 9 months ago
Performance Analysis of an Application-level Cooperative Control Protocol
This paper proposes the modeling and the performance analysis of a high-level control protocol – COCOP, which enables cooperative groups of clients to control a shared server de...
Giancarlo Fortino, Carlo Mastroianni, Wilma Russo