Sciweavers

2268 search results - page 231 / 454
» Semantic Integration
Sort
View
EPK
2006
84views Management» more  EPK 2006»
15 years 5 months ago
Using BPEL Processes defined by Event-driven Process Chains
Abstract: The paper discusses the usability concept of workflow services for eventdriven process chains. Usability is similar to controllability, known from Workflow net based BPEL...
Carlo Simon, Jörn Freiheit, Sebastian Olbrich
ICECCS
2010
IEEE
153views Hardware» more  ICECCS 2010»
15 years 4 months ago
Patterns for Modelling Time and Consistency in Business Information Systems
Abstract— Maintaining semantic consistency of data is a significant problem in distributed information systems, particularly those on which a business may depend. Our current wo...
Jeremy W. Bryans, John S. Fitzgerald, Alexander Ro...
SAS
1992
Springer
171views Formal Methods» more  SAS 1992»
15 years 8 months ago
Static Analysis of CLP Programs over Numeric Domains
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi
MUM
2004
ACM
115views Multimedia» more  MUM 2004»
15 years 9 months ago
Task computing for ubiquitous multimedia services
The Task Computing framework is designed to operate in dynamic ubiquitous environments in which a mobile computing user dynamically discovers the current set of available semantic...
Zhexuan Song, Ryusuke Masuoka, Jonathan R. Agre, Y...
CORR
2010
Springer
123views Education» more  CORR 2010»
15 years 4 months ago
Loop Formulas for Description Logic Programs
Description Logic Programs (dl-programs) proposed by Eiter et al. constitute an elegant yet powerful formalism for the integration of answer set programming with description logic...
Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Sh...