Sciweavers

200 search results - page 16 / 40
» Positivist single case study research in information systems...
Sort
View
EDCC
2005
Springer
14 years 1 months ago
Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA)
Abstract. In this paper we present the formal safety analysis of a radiobased railroad crossing. We use deductive cause-consequence analysis (DCCA) as analysis method. DCCA is a no...
Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn
IWMM
2000
Springer
82views Hardware» more  IWMM 2000»
13 years 11 months ago
The Case for Profile-Directed Selection of Garbage Collectors
Many garbage-collected systems use a single garbage collection algorithm across all applications. It has long been known that this can produce poor performance on applications for...
Robert P. Fitzgerald, David Tarditi
DFG
2004
Springer
14 years 1 months ago
Combining Formal Methods and Safety Analysis - The ForMoSA Approach
In the ForMoSA project [17] an integrated approach for safety analysis of critical, embedded systems has been developed. The approach brings together the best of engineering practi...
Frank Ortmeier, Andreas Thums, Gerhard Schellhorn,...
EDOC
2007
IEEE
14 years 1 months ago
An Analysis Framework for Mobile Workforce Automation
In this paper we introduce an analysis framework for mobile workforce automation. The framework is based on the findings from earlier research as well as on an analysis of 27 rec...
Volker Gruhn, André Köhler
SIGMOD
2010
ACM
217views Database» more  SIGMOD 2010»
14 years 13 days ago
Mining knowledge from databases: an information network analysis approach
Most people consider a database is merely a data repository that supports data storage and retrieval. Actually, a database contains rich, inter-related, multi-typed data and infor...
Jiawei Han, Yizhou Sun, Xifeng Yan, Philip S. Yu