Sciweavers

2232 search results - page 23 / 447
» Formal Modeling and Analysis of Organizations
Sort
View
VLSISP
1998
111views more  VLSISP 1998»
15 years 5 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 11 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,...
ECAL
2001
Springer
15 years 10 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
16 years 3 days ago
Fluid Models in Performance Analysis
Marco Gribaudo, Miklós Telek
FM
2003
Springer
115views Formal Methods» more  FM 2003»
15 years 11 months ago
SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis
Alessandro Armando, Luca Compagna, Pierre Ganty