1206 search results - page 184 / 242 » Concurrent Abstract Predicates |
113
click to vote
BPM
2010
Springer
15 years 14 days 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...
136
Voted
IFM
2010
Springer
15 years 11 days 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 ...
119
click to vote
SEUS
2010
IEEE
15 years 9 days 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...
130
click to vote
HAIS
2009
Springer
15 years 6 days 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...
130
Voted
IFIP
2010
Springer
14 years 9 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...