857 search results - page 29 / 172 » Compositional Semantics in Verbmobil |
163
click to vote
CCS
2007
ACM
16 years 6 days ago
2007
ACM
In defining large, complex access control policies, one would like to compose sub-policies, perhaps authored by different organizations, into a single global policy. Existing po...
165
click to vote
ICFEM
2010
Springer
15 years 4 months ago
2010
Springer
The correct behavior of a service composition depends on the appropriate coordination of its services. According to the idea of channelbased coordination, services exchange message...
126
click to vote
TACAS
2009
Springer
16 years 24 days ago
2009
Springer
ional Predicate Abstraction from Game Semantics Adam Bakewell and Dan R. Ghica University of Birmingham, U.K. We introduce a technique for using conventional predicate abstraction ...
170
click to vote
SEMWEB
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we describe our experience in applying KAoS services to ensure policy compliance for Semantic Web Services workflow composition and enactment. We are developing thes...
191
click to vote
ICDE
2007
IEEE
15 years 10 months ago
2007
IEEE
"Software as a service" approach has become a reality since efforts of both industry and research focused on service integration on the web. It would be possible to see ...