902 search results - page 173 / 181 » Modeling and Reasoning about Uncertainty in Context-Aware Sy... |
119
click to vote
OOPSLA
2007
Springer
15 years 6 months ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
105
click to vote
CORR
2010
Springer
15 years 16 days ago
2010
Springer
String diagrams are a powerful tool for reasoning about physical processes, logic circuits, tensor networks, and many other compositional structures. The distinguishing feature of...
114
click to vote
VEE
2006
ACM
15 years 6 months ago
2006
ACM
The Pi-calculus is a formalism to model and reason about highly concurrent and dynamic systems. Most of the expressive power of the language comes from the ability to pass communi...
96
Voted
CSEE
2000
Springer
15 years 4 months ago
2000
Springer
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...
120
click to vote
TLDI
2009
ACM
15 years 9 months ago
2009
ACM
Storing state in the client tier (in forms or cookies, for example) improves the efficiency of a web application, but it also renders the secrecy and integrity of stored data vul...