7213 search results - page 145 / 1443 » Automated model grouping |
141
click to vote
JPDC
2000
15 years 3 months ago
2000
The virtual synchrony model for group communication has proven to be a powerful paradigm for building distributed applications. Implementations of virtual synchrony usually requir...
150
Voted
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
—Automated tests are important for Web applications as they grow more complex day by day. Web application testing frameworks have emerged to help satisfy this need. However, used...
95
Voted
BPM
2005
Springer
15 years 9 months ago
2005
Springer
With the new middleware IT technologies such as Web Services and peer-to-peer computing facilities, a Virtual Enterprise can be built easier achieving some problems of interoperabi...
162
Voted
CSFW
2008
IEEE
15 years 5 months ago
2008
IEEE
We present a general technique for modeling remote electronic voting protocols in the applied pi-calculus and for automatically verifying their security. In the first part of this...
137
Voted
ICNS
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper introduces a fault-tolerant group communication protocol that is aimed at grid and wide area environments. The protocol has two layers. The lower layer provides a total...