5790 search results - page 211 / 1158 » Distributed programming with distributed authorization |
131
Voted
TAP
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
128
Voted
IEEESCC
2007
IEEE
15 years 9 months ago
2007
IEEE
Large-scale distributed systems, such as e-healthcare systems, are difficult to develop due to their complex and decentralized nature. The Service Oriented Architecture facilitat...
112
Voted
IEEESCC
2006
IEEE
15 years 8 months ago
2006
IEEE
Today’s business processes are not static, they need to be adapted frequently to reflect changing business requirements. Several business process languages such as WS-BPEL have...
126
Voted
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
Babylon v2.0 is a collection of tools and services that provide a 100% Java compatible environment for developing, running and managing parallel, distributed and mobile Java appli...
118
click to vote
IPPS
2005
IEEE
15 years 8 months ago
2005
IEEE
— We describe the design and implementation of MOCCA, a distributed CCA framework implemented using the H2O metacomputing system. Motivated by the quest for appropriate metasyste...