Sciweavers

2435 search results - page 214 / 487
» System Exploration of SystemC Designs
Sort
View
ICFP
2006
ACM
16 years 6 months ago
Access control in a core calculus of dependency
The Dependency Core Calculus (DCC) is an extension of the computational lambda calculus that was designed in order to capture the notion of dependency that arises in information-f...
Martín Abadi
PERCOM
2004
ACM
16 years 5 months ago
Models, Protocols, and Architectures for Secure Pervasive Computing: Challenges and Research Directions
We explore the challenges and research directions in building models, protocols and architectures to support security in pervasive computing environments. We argue that to be succ...
Roshan K. Thomas, Ravi S. Sandhu
AISC
2008
Springer
15 years 8 months ago
AISC Meets Natural Typography
Abstract. McDermott [12,13] introduced the concept "Artificial Intelligence meets Natural Stupidity". In this paper, we explore how Artificial Intelligence and Symbolic C...
James H. Davenport
SIGMOD
2009
ACM
157views Database» more  SIGMOD 2009»
16 years 6 months ago
FPGA: what's in it for a database?
While there seems to be a general agreement that next years' systems will include many processing cores, it is often overlooked that these systems will also include an increa...
Jens Teubner, René Müller
CANDC
2005
ACM
15 years 8 months ago
Constructed narratives a tangible social interface
Constructed Narratives is a tangible social interface designed for use in public spaces where people have the opportunity to encounter the game and subsequently learn about each o...
Pamela Jennings