24554 search results - page 213 / 4911 » Dependable distributed systems |
197
click to vote
ICWS
2009
IEEE
15 years 4 months ago
2009
IEEE
Web service paradigm and related technologies have provided favorable means for the realization of collaborative business processes. From both conceptual and implementation points...
170
click to vote
IFIP
2004
Springer
15 years 11 months ago
2004
Springer
Dependent type systems are promising tools programmers can use to increase the reliability and security of their programs. Unfortunately, dependently-typed programming languages re...
161
click to vote
EDCC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Our paper presents a novel approach for identifying the key infrastructural factors determining the behavior of systems in the presence of faults by the application of in...
171
click to vote
DESRIST
2009
Springer
15 years 11 months ago
2009
Springer
Despite the widespread recognition that information technology (IT) and business process are tightly connected, existing system design methods provide limited guidance on how to t...
151
click to vote
GPCE
2008
Springer
15 years 7 months ago
2008
Springer
Extensive research efforts have been devoted to implement a group of type-safe mutually recursive classes; recently, proposals for separating each member of the group as a reusabl...