15421 search results - page 186 / 3085 » Dependability |
151
click to vote
FLOPS
2010
Springer
15 years 11 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
184
click to vote
DSN
2009
IEEE
15 years 11 months ago
2009
IEEE
Based on the framework of service-oriented architecture (SOA), complex distributed systems can be dynamically and automatically composed by integrating distributed Web services pr...
135
click to vote
IWSOS
2009
Springer
15 years 10 months ago
2009
Springer
This paper presents an optimization framework for finding efficient deployment mappings of replicated service components (to nodes), while accounting for multiple services simult...
146
click to vote
UM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper we address the problem of prioritising feedback on the basis of multiple heterogeneous pieces of information in exploratory learning. The problem arises whe...
151
click to vote
ACHI
2008
IEEE
15 years 10 months ago
2008
IEEE
—Context-aware adaptive systems aim at automatically personalizing the user’s environment depending on the user’s situation, and hence, minimizing user interaction with the s...