1888 search results - page 124 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
220
click to vote
CLUSTER
2000
IEEE
15 years 6 months ago
2000
IEEE
With the increasing number of scientific applications manipulating huge amounts of data, effective high-level data management is an increasingly important problem. Unfortunately, ...
208
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
A software product line (SPL) is a set of software systems with well-defined commonalities and variabilities that are developed by managed reuse of common artifacts. In this pape...
186
click to vote
ENTCS
2008
15 years 6 months ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
143
click to vote
EDOC
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper describes an environment for interactive configuration management of the software components comprising a distributed enterprise application. The environment permits on...
195
click to vote
CBSE
2008
Springer
15 years 8 months ago
2008
Springer
: This paper proposes a technology for the development of distributed real-time component-based applications, which takes advantage of the features that Ada offers for the developm...