Sciweavers

2232 search results - page 23 / 447
» Formal Modeling and Analysis of Organizations
Sort
View
VLSISP
1998
111views more  VLSISP 1998»
14 years 9 months ago
Quantitative Analysis of MR Brain Image Sequences by Adaptive Self-Organizing Finite Mixtures
This paper presents an adaptive structure self-organizing finite mixture network for quantification of magnetic resonance (MR) brain image sequences. We present justification fo...
Yue Wang, Tülay Adali, Chi-Ming Lau, Sun-Yuan...
HICSS
2003
IEEE
125views Biometrics» more  HICSS 2003»
15 years 2 months ago
Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...
Andreas Ulrich, Hesham Hallal, Alexandre Petrenko,...
61
Voted
ECAL
2001
Springer
15 years 2 months ago
Formal Description of Autopoiesis Based on the Theory of Category
Since the concept of autopoiesis was proposed as a model of minimal living systems by Maturana and Varela, and applied to social systems by Luhmann, there has been only a few math...
Tatsuya Nomura
SFM
2007
Springer
15 years 3 months ago
Fluid Models in Performance Analysis
Marco Gribaudo, Miklós Telek
FM
2003
Springer
115views Formal Methods» more  FM 2003»
15 years 2 months ago
SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis
Alessandro Armando, Luca Compagna, Pierre Ganty