3914 search results - page 325 / 783 » Automating SLA modeling |
207
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— In this paper we address the joint problems of automated data acquisition and view planning for large–scale indoor and outdoor sites. Our method proceeds in two distinct stag...
163
click to vote
SECURWARE
2007
IEEE
16 years 1 months ago
2007
IEEE
— Digital Ecosystems is the new paradigm for dynamic IT business integration. A Digital Ecosystem consists of institutions that compete, collaborate, and form stable or unstable ...
208
Voted
LOPSTR
2007
Springer
16 years 26 days ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
163
Voted
LPNMR
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. We present a purely model-theoretic semantics for disjunctive logic programs with negation, building on the infinite-valued approach recently introduced for normal logic...
172
Voted
MODELS
2007
Springer
16 years 26 days ago
2007
Springer
The rising adoption and incorporation of computers into everyday life requires human-computer interaction methods to be efficient and easy to understand. Simultaneously, complexit...