Sciweavers

2232 search results - page 182 / 447
» Formal Modeling and Analysis of Organizations
Sort
View
QEST
2007
IEEE
16 years 25 days ago
Probabilistic Model-Checking Support for FMEA
Failure Mode and Effect Analysis (FMEA) is a method for assessing cause-consequence relations between component faults and hazards that may occur during the lifetime of a system. ...
Lars Grunske, Robert Colvin, Kirsten Winter
IEEEICCI
2006
IEEE
16 years 18 days ago
SenseNet: A Knowledge Representation Model for Computational Semantics
Knowledge representation is essential for semantics modeling and intelligent information processing. For decades researchers have proposed many knowledge representation techniques...
Ping Chen, Wei Ding 0003, Chengmin Ding
IQ
2007
15 years 8 months ago
A Model for Information Quality in the Banking Industry - The Case of the Public Banks In Brazil
: Poor Information Quality (IQ) has a significant impact on the general performance of an organization. Investments in IT have had a great impact on the banking industry in recent ...
Luís Francisco Ramos Lima, Antonio Carlos G...
ECBS
2005
IEEE
58views Hardware» more  ECBS 2005»
16 years 5 days ago
MoDeII: Modeling and Analyzing Time-Constraints
The fulfillment of time requirements is one of the major acceptance criteria of safety-critical and real-time systems. They are dictated by the environment of these systems and a...
Jewgenij Botaschanjan, Jan Jürjens
IPPS
2003
IEEE
15 years 12 months ago
Model Checking a Cache Coherence Protocol for a Java DSM Implementation
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. It aims to implement Java’s memory model and allows multithreaded Java progr...
Jun Pang, Wan Fokkink, Rutger F. H. Hofman, Ronald...