1153 search results - page 23 / 231 » Compositional Specification Calculus for Information Systems... |
125
Voted
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
Synthesis of system configurations from a given set of features is an important and very challenging problem. This paper makes a step towards this goal by describing an efficient ...
177
Voted
RTAS
2003
IEEE
15 years 9 months ago
2003
IEEE
Building distributed embedded systems from scratch is not cost-effective. Instead, designing and building these systems by using domain specific components has promise. However, i...
121
Voted
JLP
2007
15 years 3 months ago
2007
Exploiting linear type structure, we introduce a new theory bisimilarity for the π-calculus in which we abstract away not only τ-actions but also non-τ actions which do not aff...
124
Voted
IFIP8
2007
15 years 5 months ago
2007
Business Process Verification (BPV) is increasingly important in emerging BPM Systems. Although many approaches related to BPV exist, the gap between formal models defined in previ...
100
Voted
ECIS
2000
15 years 5 months ago
2000
- In this paper we investigate techniques offered by current object-oriented development methods for the specification of the user-system dialogue aspect of a software system. Curr...