1000 search results - page 86 / 200 » Relationship Model of Abstractions Used for Developing Domai... |
133
Voted
CONCUR
2000
Springer
15 years 8 months ago
2000
Springer
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...
142
Voted
JGO
2011
14 years 6 months ago
2011
Abstract In many problems from different disciplines such as engineering, physics, medicine, and biology, a series of experimental data is used in order to generate a model that ca...
124
Voted
GPCE
2004
Springer
15 years 9 months ago
2004
Springer
This paper describes our experience with developing a product line for middleware-based versioning systems. We perform a detailed domain analysis and define a DSL for configuring i...
117
Voted
DSVIS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper we attempt to formalise some of the basic attributes of performative interaction against a background of sociological analysis in order to better understand...
127
Voted
ICEBE
2007
IEEE
15 years 10 months ago
2007
IEEE
Globalization and rapid development of Information Technologies have set a new stage for business. Collaborative Commerce has become a strategic necessity to develop high quality ...