533 search results - page 101 / 107 » Protocol synthesis from timed and structured specifications |
ICTAC
2010
Springer
13 years 8 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
SOSP
2005
ACM
14 years 7 months ago
2005
ACM
Overlay networks are used today in a variety of distributed systems ranging from file-sharing and storage systems to communication infrastructures. However, designing, building a...
BPM
2008
Springer
14 years 27 days ago
2008
Springer
In a service-oriented architecture, software services interact by means of message exchanges that follow certain patterns documented in the form of behavioural interfaces. As any s...
BTW
2003
Springer
14 years 4 months ago
2003
Springer
Dissemination systems are used to route information received from many publishers individually to multiple subscribers. The core of a dissemination system consists of an efficient...
SBBD
2004
14 years 8 days ago
2004
Multi-valued dependencies (MVDs) are an important class of constraints that is fundamental for relational database design. Although modern applications increasingly require the su...