Sciweavers

2819 search results - page 53 / 564
» Associative Omega-product of Processes
Sort
View
FIW
2007
105views Communications» more  FIW 2007»
14 years 11 months ago
Towards Feature Interactions in Business Processes
The feature interaction problem is generally associated with conflicting features causing undesirable effects. However, in this paper we report on a situation where the combinati...
Stephen Gorton, Stephan Reiff-Marganiec
IFIP
2009
Springer
14 years 7 months ago
Model Checking of Security-Sensitive Business Processes
Security-sensitive business processes are business processes that must comply with security requirements (e.g. authorization constraints). In previous works it has been shown that ...
Alessandro Armando, Serena Elisa Ponta
ICDE
2008
IEEE
118views Database» more  ICDE 2008»
15 years 11 months ago
XML processing in DHT networks
We study the scalable management of XML data in P2P networks based on distributed hash tables (DHTs). We identify performance limitations in this context, and propose an array of t...
Serge Abiteboul, Ioana Manolescu, Neoklis Polyzoti...
LICS
2009
IEEE
15 years 4 months ago
Statistic Analysis for Probabilistic Processes
—We associate a statistical vector to a trace and a geometrical embedding to a Markov Decision Process, based on a distance on words, and study basic Membership and Equivalence p...
Michel de Rougemont, Mathieu Tracol
FSTTCS
2005
Springer
15 years 3 months ago
The MSO Theory of Connectedly Communicating Processes
Abstract. We identify a network of sequential processes that communicate by synchronizing frequently on common actions. More precisely, we demand that there is a bound k such that ...
P. Madhusudan, P. S. Thiagarajan, Shaofa Yang