3837 search results - page 240 / 768 » Concurrent Engineering support in Software Engineering |
140
click to vote
TAPSOFT
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. We present a new constraint system called INES. Its constraints are conjunctions of inclusions t1 t2 between rst-order terms (without set operators) which are interpreted...
118
click to vote
ASWEC
2007
IEEE
15 years 8 months ago
2007
IEEE
There is a growing demand for web applications to provide fair service to the highly concurrent requests. In this paper, we present an approach to addressing this requirement. Bas...
127
click to vote
ICFEM
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...
112
click to vote
COMPSAC
2004
IEEE
15 years 7 months ago
2004
IEEE
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...
149
click to vote
EDBTW
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In this paper, we focus on B2B scenarios where XML views are extracted from relational databases and sent over the Web to another application that edits them and sends th...