Sciweavers

542 search results - page 69 / 109
» An Integrated Systems Approach to Explanation-Based Conceptu...
Sort
View
POPL
2012
ACM
13 years 7 months ago
A type system for borrowing permissions
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...
Karl Naden, Robert Bocchino, Jonathan Aldrich, Kev...
CHI
2008
ACM
16 years 6 days ago
Paperproof: a paper-digital proof-editing system
Recent approaches for linking paper and digital information or services tend to be based on a one-time publishing of digital information where changes to the printed document beco...
Nadir Weibel, Adriana Ispas, Beat Signer, Moira C....
SDM
2012
SIAM
340views Data Mining» more  SDM 2012»
13 years 2 months ago
IntruMine: Mining Intruders in Untrustworthy Data of Cyber-physical Systems
A Cyber-Physical System (CPS) integrates physical (i.e., sensor) devices with cyber (i.e., informational) components to form a situation-aware system that responds intelligently t...
Lu An Tang, Quanquan Gu, Xiao Yu, Jiawei Han, Thom...
ICSE
2009
IEEE-ACM
15 years 6 months ago
Toward deeply adaptive societies of digital systems
Modern societies are pervaded by computerized, heterogeneous devices designed for specific purposes, but also more and more often capable of interacting with other devices for en...
Antonio Carzaniga, Giovanni Denaro, Mauro Pezz&egr...
ECBS
2007
IEEE
132views Hardware» more  ECBS 2007»
15 years 6 months ago
The Strategic Impact of Service Oriented Architectures
It has not been since the advent of the client/server architecture break through that an architectural concept has changed the face of enterprise systems so significantly as it h...
Philipp Liegl