1000 search results - page 86 / 200 » Relationship Model of Abstractions Used for Developing Domai... |
CONCUR
2000
Springer
14 years 1 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...
JGO
2011
12 years 11 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...
GPCE
2004
Springer
14 years 2 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...
DSVIS
2005
Springer
14 years 2 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...
ICEBE
2007
IEEE
14 years 3 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 ...