1888 search results - page 249 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
112
click to vote
ICECCS
2000
IEEE
15 years 9 months ago
2000
IEEE
The goal of result-verificationis toprove that one execution run of a program satisjes its speciJcation. Compared with iniplenzentation-verification,result-verification has a larg...
135
click to vote
UML
2004
Springer
15 years 10 months ago
2004
Springer
Any implementation of an information system must ensure that an operation is only applied if its execution does not lead to a violation of any of the integrity constraints defined ...
159
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
XML data warehouses form an interesting basis for decision-support applications that exploit complex data. However, native XML database management systems currently bear limited p...
142
click to vote
COORDINATION
2008
Springer
15 years 6 months ago
2008
Springer
We present the -calculus, a process calculus for formally modeling and reasoning about Mobile Ad Hoc Wireless Networks (MANETs) and their protocols. The -calculus naturally capture...
123
click to vote
MIDDLEWARE
2004
Springer
15 years 10 months ago
2004
Springer
In this position paper, we focus on issues related to middleware support for software mobility in ad hoc and pervasive systems. In particular, we are interested in moving the comp...