249 search results - page 7 / 50 » Validating a Web Service Security Abstraction by Typing |
132
Voted
EEE
2005
IEEE
15 years 9 months ago
2005
IEEE
Comprehensive contractual description of Web Services and Web Service compositions is needed for selection of appropriate Web Services and their service and quality of service (Qo...
141
click to vote
GRID
2007
Springer
15 years 3 months ago
2007
Springer
Abstract Service-oriented architectures and applications have gained wide acceptance in the Grid computing community. A number of tools and middleware systems have been developed t...
125
Voted
CCS
2006
ACM
15 years 7 months ago
2006
ACM
The ability to automatically compose security policies created by multiple organizations is fundamental to the development of scalable security systems. The diversity of policies ...
132
Voted
PLDI
2010
ACM
16 years 26 days ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
164
click to vote
IEEESCC
2010
IEEE
15 years 5 months ago
2010
IEEE
Service-oriented Architectures (SOA) facilitate the provision and orchestration of business services to enable a faster adoption to changing business demands. Web Services provide...