5518 search results - page 656 / 1104 » Rule-Based Service Modeling |
253
click to vote
ICSNC
2007
IEEE
16 years 1 months ago
2007
IEEE
Nowadays, path prediction is being extensively examined for use in the context of mobile and wireless computing towards more efficient network resource management schemes. Path pr...
206
click to vote
SIGMETRICS
2002
ACM
15 years 6 months ago
2002
ACM
We demonstrate a framework for improving the availability of cluster based Internet services. Our approach models Internet services as a collection of interconnected components, e...
172
click to vote
EDOC
2002
IEEE
15 years 11 months ago
2002
IEEE
The EC funded COMBINE Project has the objective of dramatically improving software development productivity by providing a holistic approach to component-based development of Ente...
178
click to vote
FOSSACS
2005
Springer
16 years 10 days ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
177
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
We address the verification problem of finite-state concurrent programs running under weak memory models. These models capture the reordering of program (read and write) operation...