Back to Results
First PageMeta Content
Computer programming / Operations research / Programming paradigms / Mathematical optimization / Constraint logic programming / Logic programming / ECLiPSe / Linear programming / PlanetLab / Constraint programming / Software engineering / Declarative programming


Dependable self-hosting distributed systems using constraints Qin Yin∗, Justin Cappos†, Andrew Baumann∗, Timothy Roscoe∗ ∗ Systems † Department Group, Department of Computer Science, ETH Zurich
Add to Reading List

Document Date: 2014-09-30 10:30:54


Open Document

File Size: 222,57 KB

Share Result on Facebook

Company

Amazon / Cambridge University Press / Applied Expert Systems / Rhizoma / /

Facility

University of Washington Abstract / University of Wisconsin-Madison / /

IndustryTerm

dependable applications / Network configuration management / final deployed solution / management services / network-layer services / software deployment allowing cost savings / OWL web ontology language / resource management / real-time data set / utility-computing infrastructures / express network protocols / utility computing providers / self-hosting applications / large networked systems / system management / constraint solutions / branch-andbound algorithm / in-house hosted hardware / feasible solution / software resources / dependable distributed applications / network management applications / virtual hardware / utility computing infrastructures / utility computing / search space / overlay network / mature technology / utility computing platforms / /

Organization

University of Washington Abstract / Cambridge University / Department of Computer Science / US Federal Reserve / University of Wisconsin / /

Person

Qin Yin / Timothy Roscoe / Justin Cappos / Andrew Baumann / /

Position

human administrator / editor / The Handbook / representative / programmer / /

Product

EC2 / PlanetLab application / PlanetLab / /

ProgrammingLanguage

Prolog / XML / /

ProvinceOrState

Wisconsin / /

Technology

XML / API / P2P / DNS / relatively mature technology / Resource description framework / simulation / express network protocols / branch-andbound algorithm / /

URL

www.w3.org/RDF / www.w3.org/TR/owl-ref / http /

SocialTag