1173 search results - page 80 / 235 » On the Compositionality of Round Abstraction |
142
click to vote
NETWORK
2008
15 years 6 months ago
2008
This article presents a hierarchical context monitoring and composition framework that effectively supports next-generation context-aware services. The upcoming ubiquitous space w...
156
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
Program analysis tools typically compute two types of information: (1) may information that is true of all program executions and is used to prove the absence of bugs in the progr...
172
click to vote
SEMWEB
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The shift from Web pages to Web services enables programmatic access to the near limitless information on the World Wide Web. Autonomous agents should generate concise an...
214
click to vote
ECOOP
2001
Springer
15 years 10 months ago
2001
Springer
Features are essential characteristic of applications within a product line. Features organized in different kinds of diagrams containing hierarchies of feature trees are closely ...
228
click to vote
EUROCRYPT
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. This paper investigates a novel computational problem, namely the Composite Residuosity Class Problem, and its applications to public-key cryptography. We propose a new t...