4353 search results - page 669 / 871 » Expressiveness of Process Algebras |
276
click to vote
SIGMOD
2009
ACM
16 years 5 months ago
2009
ACM
This paper presents SELinks, a programming language focused on building secure multi-tier web applications. SELinks provides a uniform programming model, in the style of LINQ and ...
255
click to vote
SIGMOD
2007
ACM
16 years 5 months ago
2007
ACM
Managing uncertain data using probabilistic frameworks has attracted much interest lately in the database literature, and a central computational challenge is probabilistic infere...
185
click to vote
SIGMOD
2001
ACM
16 years 5 months ago
2001
ACM
As XML has developed over the past few years, its role has expanded beyond its original domain as a semantics-preserving markup language for online documents, and it is now also t...
160
click to vote
PODS
2008
ACM
16 years 5 months ago
2008
ACM
In the study of data exchange one usually assumes an openworld semantics, making it possible to extend instances of target schemas. An alternative closed-world semantics only move...
169
click to vote
MOBIHOC
2002
ACM
16 years 5 months ago
2002
ACM
This paper investigates two fundamental characteristics of a wireless multihop network: its minimum node degree and its k?connectivity. Both topology attributes depend on the spat...