1173 search results - page 52 / 235 » On the Compositionality of Round Abstraction |
151
click to vote
APN
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Web services represent a promising technology for the development of distributed heterogeneous software systems. In this setting, a major issue is to establish whether tw...
172
click to vote
ER
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper we discuss about composing services from standard suites of applications for personal data management in mobile devices. We propose a data model and an inte...
143
click to vote
FMOODS
2006
15 years 7 months ago
2006
Abstract. We use a distributed, enriched -calculus for describing networks of services. Both services and their clients can protect themselves, by imposing security constraints on ...
180
click to vote
ICWE
2004
Springer
15 years 11 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...
184
click to vote
CSFW
2012
IEEE
13 years 8 months ago
2012
IEEE
Abstract—This paper studies the foundations of informationflow security for interactive programs. Previous research assumes that the environment is total, that is, it must alway...