Sciweavers

9370 search results - page 54 / 1874
» An Abstract Notion of Application
Sort
View
112
Voted
ACSD
2004
IEEE
124views Hardware» more  ACSD 2004»
15 years 4 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...
75
Voted
NORMAS
2005
Springer
15 years 6 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
13 years 3 months 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
118
Voted
TC
2002
15 years 6 days 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
79
Voted
ECAI
2004
Springer
15 years 6 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