Sciweavers

2492 search results - page 78 / 499
» An Integrated Rule Modeling Framework
Sort
View
BPM
2006
Springer
126views Business» more  BPM 2006»
14 years 11 months ago
Verification of Business Process Integration Options
Abstract. We propose a meta-meta framework architecture for supporting the behaviour based integration of two business processes. The meta-meta level provides basic integration ope...
Georg Grossmann, Michael Schrefl, Markus Stumptner
SIGMOD
2002
ACM
141views Database» more  SIGMOD 2002»
14 years 9 months ago
Bringing Order to Query Optimization
A variety of developments combine to highlight the need for respecting order when manipulating relations. For example, new functionality is being added to SQL to support OLAP-styl...
Giedrius Slivinskas, Christian S. Jensen, Richard ...
IPMU
1992
Springer
15 years 1 months ago
Rule-Based Systems with Unreliable Conditions
This paper deals with the problem of inference under uncertain information. This is a generalization of a paper of Cardona et al. (1991a) where rules were not allowed to contain n...
L. Cardona, Jürg Kohlas, Paul-André Mo...
I3E
2001
121views Business» more  I3E 2001»
14 years 11 months ago
An Adoption Framework for Mobile Commerce
: Most often, technological explanations are given of Europe's slow adoption of mobile commerce. When seeking non-technological explanations, diffusion models provide aggregat...
Per E. Pedersen
APSEC
2005
IEEE
15 years 3 months ago
Describing and Verifying Integrated Services of Home Network Systems
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
Pattara Leelaprute, Tatsuhiro Tsuchiya, Tohru Kiku...