9067 search results - page 829 / 1814 » Adaptive Model Checking |
216
click to vote
WECWIS
2005
IEEE
16 years 1 months ago
2005
IEEE
Business Process Modeling (BPM) is one of the key factors in defining service-oriented solutions for business collaborations. Like in traditional software engineering there is a n...
195
click to vote
IUI
1997
ACM
15 years 12 months ago
1997
ACM
This paper describes ActionStreams, a system for inducing task models from observations of user activity. The model can represent several task structures: hierarchy, variable sequ...
194
click to vote
HCI
2007
15 years 9 months ago
2007
Abstract. Mobile and ubiquitous systems require task models for addressing the challenges of adaptivity and situation-aware assistance. Today, both challenges are seen as separate ...
239
click to vote
BPSC
2009
15 years 5 months ago
2009
: "The only constant is change" is an often cited phrase. We regard it as predominant for the area of process based information systems. In this paper we investigate how ...
244
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
This paper motivates the need for a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. We present requirements that the formalism ...