2212 search results - page 231 / 443 » Approaches to Hospital Process Management |
130
click to vote
ESOP
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. We propose a new formalisation of stability for Rely-Guarantee, in which an assertion's stability is encoded into its syntactic form. This allows two advances in mod...
168
click to vote
DOLAP
2009
ACM
16 years 1 months ago
2009
ACM
In this paper, we investigate the problem of answering top-k queries via materialized views. We provide theoretical guarantees for the adequacy of a view to answer a top-k query, ...
160
click to vote
COORDINATION
2005
Springer
16 years 5 days ago
2005
Springer
Architectural descriptions can provide support for a formal representation of the structure and the overall behavior of software systems, which is suitable for an early assessment ...
169
click to vote
DEXA
2005
Springer
16 years 5 days ago
2005
Springer
The rapidly growing web technologies and electronic commerce applications have stimulated the need of personalized and group decision support functionalities in eTourism intermedia...
179
click to vote
MATES
2005
Springer
16 years 3 days ago
2005
Springer
Accessing up-to-date information in a fast and easy way implies the necessity of information management tools to explore and analyse the huge number of available electronic resourc...