Sciweavers

1769 search results - page 67 / 354
» An implementation of argument based discussion
Sort
View
ICALT
2005
IEEE
15 years 5 months ago
Towards an Advanced Modeling System Applying a Service-Based Approach
Based on the overall aims of the AdeLE (Adaptive e-Learning with Eye-Tracking) project, and in particular motivated by the decision of using a strictly separated system’s archit...
Christian Gütl, Victor Manuel García-B...
MEMOCODE
2003
IEEE
15 years 5 months ago
Executable Computational Logics: Combining Formal Methods and Programming Language Based System Design
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
José Meseguer
APWEB
2003
Springer
15 years 5 months ago
An Event Based Approach to Web Service Design and Interaction
This paper advocates an approach to web service design and interaction that is based on web services simultaneously participating in shared business events. In contrast to one-to-o...
Wilfried Lemahieu, Monique Snoeck, Cindy Michiels,...
WSKS
2009
Springer
15 years 4 months ago
Towards a Mediator Based on OWL and SPARQL
We propose a framework that supports a federated environment based on a Mediator Architecture in the Semantic Web. The Mediator supports mappings between the OWL Ontology of the Me...
Konstantinos Makris, Nikos Bikakis, Nektarios Giol...
ISN
1998
Springer
15 years 4 months ago
Integrating TINA into an Internet-Based Services Market
The deregulation of the telecommunication industry is providing the basis for a competitive, open market in telecommunications services. The TINA Consortium is developing a softwar...
David Lewis, Thanassis Tiropanis