557 search results - page 44 / 112 » Calculi for Service-Oriented Computing |
IEEEARES
2009
IEEE
14 years 3 months ago
2009
IEEE
— Trust in software services is a key prerequisite for the success and wide adoption of Services-Oriented Computing (SOC) in an open Internet world. However, trust is poorly asse...
ICNS
2008
IEEE
14 years 3 months ago
2008
IEEE
Many Service Oriented Architecture (SOA) approaches in use today presume the consistent availability of reliable networks and limitless resources. For some Department of Defense (...
ICPPW
2005
IEEE
14 years 2 months ago
2005
IEEE
Large scientific collaborations are moving towards service oriented architectures for implementation and deployment of globally distributed systems. Clarens is a high performance,...
TCS
2011
13 years 4 months ago
2011
A new complete characterization of β-strong normalization is given, both in the classical and in the lazy λ-calculus, through the notion of potential valuability inside two suit...
GC
2004
Springer
14 years 2 months ago
2004
Springer