3914 search results - page 160 / 783 » Automating SLA modeling |
ICTAI
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper proposes an ontology-powered Domotic OSGi Gateway (DOG) able to expose different domotic networks as a single, technology neutral, home automation system. The adoption ...
DIS
2007
Springer
14 years 2 months ago
2007
Springer
Ecosystem Informatics brings together mathematical and computational tools to address scientific and policy challenges in the ecosystem sciences. These challenges include novel s...
SAC
2006
ACM
14 years 1 months ago
2006
ACM
This note describes a sample implementation of automated negotiations in an e-commerce modeling multi-agent system. A specific set of rules is used for enforcing negotiation mech...
LICS
1999
IEEE
14 years 8 days ago
1999
IEEE
Pitts and Stark have proposed the -calculus as a language for investigating the interaction of unique name generation and higher-order functions. They developed a sound model base...
CL
2000
Springer
14 years 10 days ago
2000
Springer
Abstract. In this paper a semantic approach for the specification and the management of databases with evolving schemata is introduced. It is shown how a general object-oriented m...