Sciweavers

9370 search results - page 54 / 1874
» An Abstract Notion of Application
Sort
View
ACSD
2004
IEEE
124views Hardware» more  ACSD 2004»
14 years 1 months ago
A Behavioral Type Inference System for Compositional System-on-Chip Design
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc s...
Jean-Pierre Talpin, David Berner, Sandeep K. Shukl...
NORMAS
2005
Springer
14 years 3 months ago
Ontological Aspects of the Implementation of Norms in Agent-Based Electronic Institutions
In order to regulate different circumstances over an extensive period of time, norms in institutions are stated in a vague and biguous manner, thereby abstracting from concrete as...
Davide Grossi, Huib Aldewereld, Javier Vázq...
EUROCRYPT
2012
Springer
12 years 10 days ago
Property Preserving Symmetric Encryption
Abstract. Processing on encrypted data is a subject of rich investigation. Several new and exotic encryption schemes, supporting a diverse set of features, have been developed for ...
Omkant Pandey, Yannis Rouselakis
TC
2002
13 years 9 months ago
Support for Recovery in Mobile Systems
Abstract--Mobile systems increasingly are being used for production-grade datacentered applications which require system support for transactional properties. For mobile applicatio...
Cris Pedregal Martin, Krithi Ramamritham
ECAI
2004
Springer
14 years 3 months ago
A General Recursive Schema for Argumentation Semantics
Abstract. In argumentation theory, Dung’s abstract framework provides a unifying view of several alternative semantics based on the notion of extension. Recently, a new semantics...
Pietro Baroni, Massimiliano Giacomin