Sciweavers

2492 search results - page 78 / 499
» An Integrated Rule Modeling Framework
Sort
View
BPM
2006
Springer
126views Business» more  BPM 2006»
15 years 7 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»
15 years 5 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 ...
164
Voted
IPMU
1992
Springer
15 years 9 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»
15 years 6 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
143
Voted
APSEC
2005
IEEE
15 years 11 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...