10038 search results - page 1610 / 2008 » Model Checking for Managers |
209
click to vote
DAWAK
2006
Springer
15 years 10 months ago
2006
Springer
Though in most data warehousing applications no relevance is given to the time when events are recorded, some domains call for a different behavior. In particular, whenever late re...
205
click to vote
DEEC
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract. Engineering workflow applications are becoming more and more complex, involving numerous interacting business objects within considerable processes. Analysing the interac...
238
click to vote
DICS
2006
15 years 10 months ago
2006
Virtual laboratories can be characterized by their long-lasting, large-scale computations, where a collection of heterogeneous tools is integrated into data processing pipelines. S...
224
click to vote
EDBTW
2006
Springer
15 years 10 months ago
2006
Springer
Scientific workflows facilitate automation, reuse, and reproducibility of scientific data management and analysis tasks. Scientific workflows are often modeled as dataflow networks...
181
click to vote
EGOV
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents a synthetic summary of the literature in the area of quality of e-government services, as a basis for the future construction of a relevant model and ontology. ...