12981 search results - page 2424 / 2597 » Model Checking (Abstract) |
126
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
ty networks are important abstractions in many information management applications such as recommender systems, corpora analysis, and medical informatics. For instance, in a recom...
171
click to vote
ACL
2010
15 years 1 months ago
2010
Open-ended spoken interactions are typically characterised by both structural complexity and high levels of uncertainty, making dialogue management in such settings a particularly...
164
Voted
ADAEUROPE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract: This paper proposes a strategy to manage the schedulability of realtime component-based applications that is fully compatible with the concept of component viewed as a re...
168
Voted
ANTSW
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The engineering of grown systems poses fundamentally different system integration challenges than ordinary engineering of static designs. On the one hand, a grown system ...
150
Voted
APSCC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--The proliferation of Data as a Service (DaaS) available on the Internet and offered by cloud service providers indicates an increasing trend in providing data under Web s...