751 search results - page 22 / 151 » Ur Web: A Simple Model for Programming the Web |
WWW
2008
ACM
15 years 11 months ago
2008
ACM
bstractions for Secure Server-Side Scripting Dachuan Yu Ajay Chander Hiroshi Inamura Igor Serikov DoCoMo Communications Laboratories USA 3240 Hillview Avenue Palo Alto, CA 94304 {y...
WWW
2005
ACM
15 years 11 months ago
2005
ACM
We present a language for specifying web service interfaces. A web service interface puts three kinds of constraints on the users of the service. First, the interface specifies th...
ASWEC
2010
IEEE
14 years 11 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...
AAAI
2008
15 years 1 months ago
2008
In several applications of logic programming and Transaction Logic, such as, planning, trust management and independent Semantic Web Services, an action might produce incomplete f...
WINE
2005
Springer
15 years 4 months ago
2005
Springer
We present a simple model in which the worldwide web (www) is created by the interaction of selfish agents, namely document authors, users, and search engines. We show experimental...