2520 search results - page 206 / 504 » Model-checking behavioral programs |
169
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Health communication researchers have shown that tailored health communication messages outperform nontailored materials. Non-tailored materials are typically “one-size-fits-all...
156
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
: We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by absolute conformance of code ...
152
Voted
ENTCS
2007
15 years 6 months ago
2007
In this paper we propose applying the ideas of declarative debugging to the object-oriented language Java as an alternative to traditional trace debuggers used in imperative langu...
137
click to vote
ANOR
2005
15 years 6 months ago
2005
Recent developments in integer-programming software systems have tremendously improved our ability to solve large-scale instances. We review the major algorithmic components of sta...
308
click to vote
VL
2010
IEEE
15 years 4 months ago
2010
IEEE
In recent years, systems have emerged that enable end users to “mash” together existing web services to build new web sites. However, little is known about how well end users ...