Sciweavers

300 search results - page 19 / 60
» Bilevel programming: A survey
Sort
View
APSEC
2008
IEEE
14 years 2 months ago
Correctness of Request Executions in Online Updates of Concurrent Object Oriented Programs
Online update is a technique that reduces the disruption caused by a software update. It does so by applying a patch to a running process as opposed to shutting down the process a...
Yogesh Murarka, Umesh Bellur
VL
2008
IEEE
160views Visual Languages» more  VL 2008»
14 years 2 months ago
How designers design and program interactive behaviors
Designers are skilled at sketching and prototyping the look of interfaces, but to explore various behaviors (what the interface does in response to input) typically requires progr...
Brad A. Myers, Sun Young Park, Yoko Nakano, Greg M...
PEPM
2007
ACM
14 years 1 months ago
XML graphs in program analysis
XML graphs have shown to be a simple and effective formalism for representing sets of XML documents in program analysis. It has evolved through a six year period with variants tai...
Anders Møller, Michael I. Schwartzbach
UPP
2004
Springer
14 years 1 months ago
Programming an Amorphous Computational Medium
Amorphous computing considers the problem of controlling millions of spatially distributed unreliable devices which communicate only with nearby neighbors. To program such a system...
Jacob Beal
ICONFERENCE
2012
12 years 3 months ago
Rural anchor institution broadband connectivity: enablers and barriers to adoption
This paper presents findings from two research projects that entail needs assessments, benchmarking, and onsite diagnostics of anchor institutions in support of multi-million doll...
Lauren H. Mandel, Nicole D. Alemanne, Charles R. M...