2836 search results - page 282 / 568 » Model Checking for Software Architectures |
146
click to vote
SIGSOFT
2000
ACM
15 years 9 months ago
2000
ACM
Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications such as banking or stock trading, that must ...
150
Voted
CIDR
2007
15 years 6 months ago
2007
In this paper, we propose an approach that provides the benefits of isolation in service-oriented applications where it is not feasible to use the traditional locking mechanisms u...
138
Voted
HICSS
2002
IEEE
15 years 9 months ago
2002
IEEE
The high speed at which new businesses are developed can to a large extent be attributed to their ability to flexibly combine existing services into an integrated business platfor...
159
click to vote
FMCO
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
183
click to vote
ICFEM
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Today’s software systems are becoming increasingly configurable and designed for deployment on a plethora of architectures, ranging from sequential machines via multic...