Sciweavers

14331 search results - page 149 / 2867
» On the modeling and analysis of obligations
Sort
View
RTSS
2008
IEEE
16 years 24 days ago
Control-Driven Tasks: Modeling and Analysis
The standard design of control systems is based on the periodic sampling. Every period the data is read from the input, the control law is computed, and the output is written to t...
Manel Velasco, Pau Martí, Enrico Bini
DSN
2005
IEEE
16 years 1 days ago
Model-Based Failure Analysis of Journaling File Systems
We propose a novel method to measure the dependability of journaling file systems. In our approach, we build models of how journaling file systems must behave under different jo...
Vijayan Prabhakaran, Andrea C. Arpaci-Dusseau, Rem...
SCVMA
2004
Springer
15 years 11 months ago
Motion Detection Using Wavelet Analysis and Hierarchical Markov Models
This paper deals with the motion detection problem. This issue is of key importance in many application fields. To solve this problem, we compute the dominant motion in the sequen...
Cédric Demonceaux, Djemâa Kachi-Akkou...
IPPS
1997
IEEE
15 years 10 months ago
An Accurate Model for the Performance Analysis of Deterministic Wormhole Routing
We present a new analytical approach for the performance evaluation of asynchronous wormhole routing in k-ary n-cubes. Through the analysis of network flows, our methodology furni...
Bruno Ciciani, Claudio Paolucci, Michele Colajanni
ICIAP
1997
ACM
15 years 10 months ago
Image Analysis and Synthesis Using Physics-Based Modeling for Pearl Quality Evaluation System
Analysis by image synthesis using CG has attracted wide attention in machine vision. This paper proposes a method ofmodeling and synthesizingpearls thatwillbe thecentraltechniqueof...
Noriko Nagata, Toshimasa Dobashi, Yoshitsugu Manab...