1206 search results - page 184 / 242 » Concurrent Abstract Predicates |
103
click to vote
BPM
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We propose a new technique to analyze the control-flow, i.e., the workflow graph of a business process model, which we call symbolic execution. We consider acyclic workfl...
123
click to vote
IFM
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. The Operational Transformation (OT) approach, used in many collaborative editors, allows a group of users to concurrently update replicas of a shared object and exchange ...
106
Voted
SEUS
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract. Ubiquitous embedded computing systems expected to reliably perform one or more relevant tasks need design and verification methods currently not available. New envisioned...
117
Voted
HAIS
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. In the last years, several papers have proposed to adopt multiobjective evolutionary algorithms (MOEAs) to generate Mamdani fuzzy rulebased systems with different trade-o...
107
Voted
IFIP
2010
Springer
14 years 7 months ago
2010
Springer
Abstract In this paper, we describe an automatic synthesis procedure that distributes synchronous programs on a set of desynchronized processing elements. Our distribution procedur...