Sciweavers

14331 search results - page 191 / 2867
» On the modeling and analysis of obligations
Sort
View
ICRA
2002
IEEE
121views Robotics» more  ICRA 2002»
15 years 11 months ago
Modular Modeling and Analysis of a Distributed Production System with Distant Specialised Maintenance
This paper introduces a modular modeling approach for distributed production systems, considering production and maintenance processes synchronization. Thus, production job shop, p...
Daniel I. Racoceanu, Noureddine Zerhouni, Nawal Ad...
FGR
2004
IEEE
163views Biometrics» more  FGR 2004»
15 years 10 months ago
Model-Based and Image-Based Methods for Facial Image Synthesis, Analysis and Recognition
We review several model-based and image-based methods that we have developed for analyzing, synthesizing, and recognizing facial images. Our model-based methods include a sophisti...
Demetri Terzopoulos, Yuencheng Lee, M. Alex O. Vas...
ECBS
2006
IEEE
108views Hardware» more  ECBS 2006»
15 years 10 months ago
An Analysis and Measurement of the Equivalent Model of Serial Queues for a Load Balancer and a Web Server of a Web Cluster with
In this paper, we propose an equivalent model in a serial queue for representing the serial connection of the load balancer and a Web server of the Web cluster. We have set up an ...
Ying-Wen Bai, Yu-Nien Yang
QOFIS
2000
Springer
15 years 10 months ago
A Markovian Model for TCP Analysis in a Differentiated Services Network
Many schemes have been proposed to support TCP traffic in a Differentiated Services network. We present in this paper an analytical model to study the performance of these schemes....
Chadi Barakat, Eitan Altman
ICCAD
1991
IEEE
100views Hardware» more  ICCAD 1991»
15 years 10 months ago
Extraction of Gate Level Models from Transistor Circuits by Four-Valued Symbolic Analysis
The program TRANALYZE generates a gate-level representation of an MOS transistor circuit. The resulting model contains only four-valued unit and zero delay logic primitives, suita...
Randal E. Bryant