18924 search results - page 3436 / 3785 » Conformance of Distributed Systems |
154
click to vote
ELPUB
2007
ACM
15 years 8 months ago
2007
ACM
Creating Internet services for a specific auditorium involves technical, organizational and sociological challenges to developers, processes and used technologies. Authoring and d...
168
click to vote
CSFW
2009
IEEE
15 years 8 months ago
2009
IEEE
We present the design and implementation of a compiler that, given high-level multiparty session descriptions, generates custom cryptographic protocols. Our sessions specify pre-a...
148
click to vote
ERLANG
2007
ACM
15 years 8 months ago
2007
ACM
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...
144
Voted
IEEESCC
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract—Service modeling and composition is a fundamental method for offering advanced functionality by combining a set of primitive services provided by the system. Unlike in t...
157
click to vote
IEEESCC
2010
IEEE
15 years 8 months ago
2010
IEEE
Service-oriented Architectures (SOA) and Web services leverage the technical value of solutions in the areas of distributed systems and cross-enterprise integration. The emergence...