4211 search results - page 605 / 843 » A formal approach to MASQ |
190
click to vote
IHIS
2005
ACM
16 years 6 days ago
2005
ACM
The goal of this work is to contribute to the field of interoperability of Workflow models. To achieve this interoperability, we have built a generic architecture that s three lev...
133
click to vote
ATAL
2005
Springer
16 years 5 days ago
2005
Springer
The goal of engineering self-organising emergent systems is to acquire a macroscopic system behaviour solely from autonomous local activity and interaction. Due to the non-determin...
160
click to vote
OTM
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. For several reasons enterprises are frequently subject to organizational change. Respective adaptations may concern business processes, but also other components of an en...
166
click to vote
SAT
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We present a new generic problem solving approach for overconstrained problems based on Max-SAT. We first define a clausal form formalism that deals with blocks of clau...
170
click to vote
ISCIS
2004
Springer
16 years 4 hour ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...