1395 search results - page 100 / 279 » Incremental Construction Approach for Distributed System Spe... |
117
click to vote
ISORC
2007
IEEE
15 years 7 months ago
2007
IEEE
Methodologies, techniques and tools that currently support the embedded systems (ESs) development process prove inadequate for today’s complex ESs. Adopted traditional architect...
106
click to vote
EDBT
2008
ACM
16 years 1 months ago
2008
ACM
Peer Data Management Systems (PDMSs) have been introduced as a solution to the problem of large-scale sharing of semantically rich data. A PDMS consists of semantic peers connecte...
189
click to vote
POPL
2005
ACM
16 years 1 months ago
2005
ACM
This paper proposes a novel approach to shape analysis: using local reasoning about individual heap locations of global reasoning about entire heap abstractions. We present an int...
101
click to vote
CONCUR
2008
Springer
15 years 3 months ago
2008
Springer
We introduce subsequence invariants, which characterize the behavior of a concurrent system in terms of the occurrences of synchronization events. Unlike state invariants, which re...
144
click to vote
SAC
2008
ACM
15 years 29 days ago
2008
ACM
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...