2448 search results - page 258 / 490 » The Octahedron Abstract Domain |
202
click to vote
RULEML
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We extend Answer Set Programming with, possibly infinite, open domains. Since this leads, in general, to undecidable reasoning, we restrict the syntax of programs, while...
167
click to vote
SAMOS
2004
Springer
15 years 12 months ago
2004
Springer
The SystemC language plays an increasingly important role in the system-level design domain, facilitating designers to start with modeling and simulating system components and thei...
206
click to vote
SEM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Ubiquitous computing is a challenge for the design of middleware. The reasons are resource constraints, mobility, heterogeneity, etc., just to name a few. We argue that s...
163
click to vote
SEMWEB
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper, we present a Notification Agent designed and implemented using Semantic Web Services. The Notification Agent manages alerts when critical financial situati...
165
click to vote
TCC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Until recently, the existence of collection of trapdoor permutations (TDP) was believed (and claimed) to imply almost all of the major cryptographic primitives, including...