2658 search results - page 435 / 532 » Micro-communication Element System |
148
Voted
CSL
2000
Springer
15 years 8 months ago
2000
Springer
This paper introduces a typed λ-calculus called λPower , a predicative reformulation of part of Cardelli’s power type system. Power types integrate subtyping into the typing t...
146
click to vote
EUROMICRO
1999
IEEE
15 years 8 months ago
1999
IEEE
Short development life cycles, the importance of timeto-market and fast changes in technology influence the requirements engineering process. Requirements are exposed to changes d...
237
click to vote
POPL
2005
ACM
16 years 4 months ago
2005
ACM
We introduce transactors, a fault-tolerant programming model for composing loosely-coupled distributed components running in an unreliable environment such as the internet into sy...
125
click to vote
IUI
2009
ACM
16 years 21 days ago
2009
ACM
For blind web users, completing tasks on the web can be frustrating. Each step can require a time-consuming linear search of the current web page to find the needed interactive e...
115
click to vote
CHI
2010
ACM
15 years 10 months ago
2010
ACM
Reminiscing is a valuable activity that people of all ages spontaneously and informally partake in as part of their everyday lives. This paper discusses the design and use of Pens...