12981 search results - page 527 / 2597 » Model Checking (Abstract) |
198
click to vote
ECMDAFA
2008
Springer
15 years 8 months ago
2008
Springer
Human participation in business processes needs to be addressed in process modeling. BPEL4People with WS-HumanTask covers this concern in the context of BPEL. Bound to specific wor...
172
Voted
SMI
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Many representation schemes have been proposed to deal with non-manifold and mixed dimensionalities objects. A majority of those models are based on incidence graphs and ...
196
click to vote
FM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
151
click to vote
ECAI
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. In this paper we describe a framework for defining and operationalizing conceptual models of distributed knowledge-based systems which extends published approaches by the...
607
click to vote
ICSE
2012
IEEE-ACM
13 years 8 months ago
2012
IEEE-ACM
Abstract—In this extended abstract we present a bidirectional model-driven framework to develop spreadsheets. By being model driven, our approach allows to evolve a spreadsheet m...