170 search results - page 22 / 34 » Properties and Applications of Programs with Monotone and Co... |
134
click to vote
EDOC
2007
IEEE
15 years 5 months ago
2007
IEEE
The decentralized process of configuring enterprise applications is complex and error-prone, involving multiple participants/roles and numerous configuration changes across multipl...
129
click to vote
CJ
2010
14 years 11 months ago
2010
Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...
105
Voted
CLOUDCOM
2010
Springer
14 years 12 months ago
2010
Springer
Abstract--Commercial services for provisioning software components and virtual infrastructure in the cloud are emerging. For customers, this creates a multitude of possibilities fo...
150
Voted
SIAMIS
2011
14 years 8 months ago
2011
Abstract. Accurate signal recovery or image reconstruction from indirect and possibly undersampled data is a topic of considerable interest; for example, the literature in the rece...
101
Voted
GD
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Constrained stress majorization is a promising new technique for integrating application specific layout constraints into forcedirected graph layout. We significantly i...