1173 search results - page 80 / 235 » On the Compositionality of Round Abstraction |
92
Voted
NETWORK
2008
15 years 23 days 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...
93
Voted
POPL
2010
ACM
15 years 10 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...
105
Voted
SEMWEB
2004
Springer
15 years 6 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...
148
Voted
ECOOP
2001
Springer
15 years 5 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 ...
157
click to vote
EUROCRYPT
1999
Springer
15 years 5 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...