3388 search results - page 361 / 678 » Type-theoretic design patterns |
220
click to vote
RV
2010
Springer
15 years 4 months ago
2010
Springer
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...
196
click to vote
SAICSIT
2010
ACM
15 years 4 months ago
2010
ACM
Eliciting and analyzing requirements within knowledge systems, which fundamentally differ so far from technology supported systems represent particular challenges. African rural c...
225
click to vote
SENSYS
2010
ACM
15 years 4 months ago
2010
ACM
Supporting continuous sensing applications on mobile phones is challenging because of the resource demands of long-term sensing, inference and communication algorithms. We present...
208
click to vote
JNCA
2011
15 years 1 months ago
2011
Popular Internet applications deploy a multi-tier architecture, with each tier provisioning a certain functionality to its preceding tier. In this paper, we address the challengin...
193
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...