2422 search results - page 408 / 485 » Composition of Services with Constraints |
143
click to vote
IWSAS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper deals with self-adapting software that is structured according to a control theory architecture. Such software contains, in addition to its main function, two ...
194
click to vote
CBSE
2005
Springer
15 years 8 months ago
2005
Springer
— Component-based software engineering (CBSE) is quickly becoming a mainstream approach to software development. At the same time, there is a massive shift from desktop applicati...
145
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. NetQi is a freely available model-checker designed to analyze network incidents such as intrusion. This tool is an implementation of the anticipation game framework, a va...
169
click to vote
IFIP12
2007
15 years 7 months ago
2007
This paper presents the principles of a Home Automation System dedicated to power management that adapts power consumption to available power ressources according to user comfort a...
174
click to vote
OPODIS
2004
15 years 7 months ago
2004
Abstract. Time synchronization is a fundamental service in many wireless applications. While the synchronization problem is well-studied in traditional wired networks, physical con...