Sciweavers

1927 search results - page 25 / 386
» Modeling the Evolution of Objects in Temporal Information Sy...
Sort
View
IJCAI
2003
13 years 9 months ago
Formal Verification of Diagnosability via Symbolic Model Checking
This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system obs...
Alessandro Cimatti, Charles Pecheur, Roberto Cavad...
ECIS
2001
13 years 9 months ago
An Object Oriented Architecture Model for International Information Systems? Exploring a Possible Approach
Based on the analysis of four case vignettes the architecture and design principles of international information systems are explored. A two-dimensional topology
Hans P. Lehmann
HICSS
2007
IEEE
215views Biometrics» more  HICSS 2007»
14 years 2 months ago
A Metrics Generation Model for Measuring the Control Objectives of Information Systems Audit
Information Technology governance (ITG) which was a relatively new concept in the late 1990s, has gained importance in the 21st century due to factors namely the collapse of Enron...
Mathew Nicho, Brian Cusack
BPSC
2009
150views Business» more  BPSC 2009»
13 years 5 months ago
Evolution of Business Process Models and Languages
: "The only constant is change" is an often cited phrase. We regard it as predominant for the area of process based information systems. In this paper we investigate how ...
Stefan Jablonski, Bernhard Volz, Sebastian Dornsta...