Sciweavers

3352 search results - page 592 / 671
» Providing User Support for Interactive Applications with FUS...
Sort
View
VSTTE
2010
Springer
14 years 11 months ago
Dafny Meets the Verification Benchmarks Challenge
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...
K. Rustan M. Leino, Rosemary Monahan
ENTCS
2008
101views more  ENTCS 2008»
15 years 1 months ago
Hedaquin: A Reputation-based Health Data Quality Indicator
A number of applications based on personal health records (PHRs) are emerging in the field of health care and wellness. PHRs empower patients by giving them control over their hea...
Ton van Deursen, Paul Koster, Milan Petkovic
VEE
2005
ACM
149views Virtualization» more  VEE 2005»
15 years 7 months ago
Instrumenting annotated programs
Instrumentation is commonly used to track application behavior: to collect program profiles; to monitor component health and performance; to aid in component testing; and more. P...
Marina Biberstein, Vugranam C. Sreedhar, Bilha Men...
OOPSLA
2004
Springer
15 years 7 months ago
Resolving feature convolution in middleware systems
Middleware provides simplicity and uniformity for the development of distributed applications. However, the modularity of the architecture of middleware is starting to disintegrat...
Charles Zhang, Hans-Arno Jacobsen
EUROSYS
2009
ACM
15 years 10 months ago
Isolating web programs in modern browser architectures
Many of today’s web sites contain substantial amounts of client-side code, and consequently, they act more like programs than simple documents. This creates robustness and perfo...
Charles Reis, Steven D. Gribble