961 search results - page 133 / 193 » An Algorithm for Computing Semi-stable Semantics |
WISE
2006
Springer
14 years 2 months ago
2006
Springer
As the service-oriented computing paradigm and its related technologies mature, it is expected that electronic services will continue to grow in numbers. In such a setting, the cou...
IEEESCC
2005
IEEE
14 years 2 months ago
2005
IEEE
Web service discovery is a key problem as the number of services is expected to increase dramatically. Service discovery at the present time is based primarily on keywords, or int...
TLCA
2005
Springer
14 years 2 months ago
2005
Springer
αProlog is a logic programming language which is well-suited for rapid prototyping of type systems and operational semantics of typed λ-calculi and many other languages involving...
POLICY
2004
Springer
14 years 2 months ago
2004
Springer
We study the specification of access control policy in large-scale distributed systems. Our work on real-world policies has shown that standard policy idioms such as role hierarc...
INFOVIS
2003
IEEE
14 years 2 months ago
2003
IEEE
Many networks under study in Information Visualization are “small world” networks. These networks first appeared in the study social networks and were shown to be relevant mod...