22114 search results - page 4193 / 4423 » Use of Models and Modelling Techniques for Service Developme... |
177
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
Recent developments in the field of object-based fault tolerance and the advent of the first OMG FTCORBA compliant middleware raise new requirements for the design process of dist...
161
click to vote
EEE
2004
IEEE
15 years 10 months ago
2004
IEEE
Designing cross-organizational e-business applications faces the problem that the collaborating businesses must align their commercial interests without any central decision makin...
196
click to vote
CSL
2006
Springer
15 years 10 months ago
2006
Springer
Separation Logic is a sub-structural logic that supports local reasoning for imperative programs. It is designed to elegantly describe sharing and aliasing properties of heap struc...
170
click to vote
ESA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Social networks are navigable small worlds, in which two arbitrary people are likely connected by a short path of intermediate friends that can be found by a "decent...
156
click to vote
ESAW
2006
Springer
15 years 10 months ago
2006
Springer
Ad hoc networks are a type of computational system whose members may fail to, or choose not to, comply with the laws governing their behaviour. We are investigating to what extent ...