Sciweavers

229 search results - page 6 / 46
» Finding Composite Episodes
Sort
View
BPM
2000
Springer
133views Business» more  BPM 2000»
13 years 10 months ago
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
Workflow management systems facilitate the everyday operation of business processes by taking care of the logistic control of work. In contrast to traditional information systems, ...
Wil M. P. van der Aalst
PUC
2002
150views more  PUC 2002»
13 years 6 months ago
New Active Tools for Supporting Narrative Structures
: Constructing stories is a type of playing that involves mobilizing the storyteller's imagination and finding original ways to convey narrative intentions. When a child inven...
Françoise Decortis, Antonio Rizzo
SOCA
2010
IEEE
13 years 4 months ago
Concept mapping for faster QoS-aware web service composition
The availability of Web services with similar functionality but different QoS values creates new challenges for Web services composition: not only functional properties of the comp...
Viktoriya Degeler, Ilce Georgievski, Alexander Laz...
DAC
1995
ACM
13 years 10 months ago
A Method for Finding Good Ashenhurst Decompositions and Its Application to FPGA Synthesis
—In this paper, we present an algorithm for finding a good Ashenhurst decomposition of a switching function. Most current methods for performing this type of decomposition are ba...
Ted Stanion, Carl Sechen
EUROCRYPT
2005
Springer
14 years 7 days ago
A Tool Kit for Finding Small Roots of Bivariate Polynomials over the Integers
We present a new and flexible formulation of Coppersmith’s method for finding small solutions of bivariate polynomials p(x, y) over the integers. Our approach allows to maximiz...
Johannes Blömer, Alexander May