902 search results - page 125 / 181 » Modeling and Reasoning about Uncertainty in Context-Aware Sy... |
340
Voted
JTRES
2010
ACM
15 years 23 days ago
2010
ACM
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
ICFP
2008
ACM
16 years 16 days ago
2008
ACM
Reasoning about imperative programs requires the ability to track aliasing and ownership properties. We present a type system that provides this ability, by using regions, capabil...
LOBJET
2008
15 years 16 days ago
2008
Self-adapting software adapts its behavior in an autonomic way, by dynamically adding, suppressing and recomposing components, and by the use of computational reflection. One way t...
108
click to vote
IUI
2003
ACM
15 years 5 months ago
2003
ACM
This paper presents a novel way for assessing the affective qualities of natural language and a scenario for its use. Previous approaches to textual affect sensing have employed k...
120
click to vote
SAC
2008
ACM
14 years 11 months ago
2008
ACM
One reasonable categorization of coordination models is into data sharing or message passing, based on whether the information necessary to coordination is persistently stored and...