2640 search results - page 236 / 528 » Providing dependability for web services |
170
click to vote
FOSSACS
2005
Springer
16 years 5 days ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
160
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
XACML has emerged as a popular access control language on the Web, but because of its rich expressiveness, it has proved difficult to analyze in an automated fashion. In this pape...
179
click to vote
MSWIM
2003
ACM
15 years 12 months ago
2003
ACM
– Wireless mobile access to the Internet is an indispensable tool for private and corporate users alike; but both industry and academia recognize the need for better service. Imp...
165
click to vote
ECML
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Distributed heterogeneous search environments are an emerging phenomenon in Web search, in which topic-specific search engines provide search services, and metasearchers...
193
click to vote
ICWE
2004
Springer
16 years 18 hour ago
2004
Springer
The Semantic Web will allow software agents to understand and reason about data provided by Web applications. Unfortunately, formal ontologies, needed to express data semantics, ar...