4460 search results - page 137 / 892 » Formal methods for interactive systems |
114
click to vote
BPM
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. We address cross-organizational workflows, such as document workflows, which consist of multiple workflow modules each of which can interact with others by sending and re...
148
click to vote
FM
2006
Springer
15 years 7 months ago
2006
Springer
Non-determinism of the thread schedule is a well-known problem in concurrent programming. However, other sources of non-determinism exist which cannot be controlled by an applicati...
125
Voted
FMICS
2010
Springer
15 years 1 months ago
2010
Springer
Mutual exclusion protocols are an essential building block of concurrent systems: indeed, such a protocol is required whenever a shared resource has to be protected against concurr...
114
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
Commitments provide a basis for understanding interactions in multiagent systems. Successful interoperation relies upon the interacting parties being aligned with respect to their...
130
Voted
VL
2003
IEEE
15 years 9 months ago
2003
IEEE
The paper outlines a tool-supported approach to the design of Web applications. Behavioural models are augmented with web-based simulations of user interfaces to permit validation...