1422 search results - page 237 / 285 » Complementation in Abstract Interpretation |
108
click to vote
ASIAN
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Digital Rights Management frameworks (DRM) aim at protecting and controlling information contents widely distributed on client devices. Using a license, the content provi...
106
click to vote
CLADE
2004
IEEE
15 years 5 months ago
2004
IEEE
This paper presents the design, development and evaluation of a prototype peer-to-peer collaboratory for imaging, analyzing, and seamlessly sharing tissue microarrays (TMA), corre...
128
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
We present actorNet, a mobile agent platform for wireless sensor networks (WSNs). WSNs are well-suited to multiagent systems: agent autonomy reduces the need for communication, sa...
115
click to vote
BALT
2006
15 years 5 months ago
2006
Abstract. On Line Analytical Processing (OLAP) is a technology basically created to provide users with tools in order to explore and navigate into data cubes. Unfortunately, in hug...
104
click to vote
EMSOFT
2004
Springer
15 years 5 months ago
2004
Springer
High-level programming languages offer significant expressivity but provide little or no guarantees about resource use. Resourcebounded languages -- such as hardware-description l...