119 search results - page 10 / 24 » Confidentiality-Preserving Refinement is Compositional - Som... |
134
click to vote
SCP
2008
15 years 4 months ago
2008
An unpublished algorithm of Haldar and Vidyasankar implements an atomic variable of an arbitrary type T for one writer and one reader by means of 4 unsafe variables of type T , th...
160
click to vote
COMPSAC
2011
IEEE
14 years 4 months ago
2011
IEEE
— This paper discusses ongoing research into the development of an original composition portfolio themed on the concept of palimpsests of time and place. The research involves th...
149
click to vote
ICWE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Web Services and Web Service composition languages for Web Service choreography are becoming more and more important in the area for inter-enterprise application and proc...
130
click to vote
CHI
1994
ACM
15 years 8 months ago
1994
ACM
This paper offers new principles for visual information seeking (VIS). A key concept is to support browsing, which is distinguished from familiar query composition and information...
157
click to vote
ESWS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Automated service composition refers to automating the entire process of composing a workflow. This involves automating the discovery and selection of the service, ensuri...