Sciweavers

5879 search results - page 14 / 1176
» Separation - Past, Present, and Future
Sort
View
POPL
2005
ACM
14 years 7 months ago
Permission accounting in separation logic
A lightweight logical approach to race-free sharing of heap storage between concurrent threads is described, based on the notion of permission to access. Transfer of permission be...
Richard Bornat, Cristiano Calcagno, Peter W. O'Hea...
IJNSEC
2007
123views more  IJNSEC 2007»
13 years 7 months ago
Secure Error Signalling for Packet-Switched Networks - The Future Core Networks System Error Protocol
In this paper a secure error-signalling scheme for packetswitched network architectures is presented. Current solutions are based on the Internet Control Message Protocol to deliv...
Theodore Stergiou, Dimitrios L. Delivasilis
CHI
2004
ACM
14 years 7 months ago
The future of signs: interactive information, inexpensively!
We present an inexpensive, interactive ubiquitous computing system that supports information presentation on demand using a novel "card reading" interaction style. We�...
Aradhana Goel, Michael Higgins, Mickey McManus, Ma...
AUTOMOTIVEUI
2009
ACM
14 years 1 months ago
Acceptance of future persuasive in-car interfaces towards a more economic driving behaviour
Measuring user acceptance to avoid system rejection by the users in pre-prototype stage of product development is of high interest for both researchers and practitioners. This is ...
Alexander Meschtscherjakov, David Wilfinger, Thoma...
WSC
1998
13 years 8 months ago
The Future of Simulation Software: a panel discussion
Panelists represent vendors of simulation software. Six of the panelists present their position on the question, "Where do you see simulation software headed?" The panel...
Jerry Banks