5377 search results - page 693 / 1076 » Programming Languages For Interactive Computing |
128
click to vote
ICALP
1994
Springer
15 years 9 months ago
1994
Springer
We introduce a formal framework to study the time and space complexity of computing with faulty memory. For the fault-free case, time and space complexities were studied using the...
131
click to vote
ESOP
2000
Springer
15 years 8 months ago
2000
Springer
We present a module calculus for studying a simple model of link-time compilation. The calculus is stratified into a term calculus, a core module calculus, and a linking calculus. ...
145
click to vote
ASPLOS
2008
ACM
15 years 7 months ago
2008
ACM
We explore the extent to which newly available CPU-based security technology can reduce the Trusted Computing Base (TCB) for security-sensitive applications. We find that although...
137
click to vote
IEEESCC
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper addresses the problem of mapping business contract conditions onto the messages and rules that represent service interactions in a collaborative business process. We de...
132
click to vote
CHI
2008
ACM
16 years 5 months ago
2008
ACM
This dissertation research explores the invocation of emotional support from friends and family for parents who have a baby in a Neonatal Intensive Care Unit, through the use of t...