Sciweavers

856 search results - page 123 / 172
» Business Process Modelling and Analysis Using Discrete-event...
Sort
View
157
Voted
AIA
2006
15 years 4 months ago
Speeding Up Model-based Diagnosis by a Heuristic Approach to Solving SAT
Model-based diagnosis of technical systems requires both a simulation machinery and a logic calculus. The former is responsible for the system's behavior analysis, the latter...
Benno Stein, Oliver Niggemann, Theodor Lettmann
64
Voted
TCOM
2008
68views more  TCOM 2008»
15 years 2 months ago
Analysis and design of book-ahead bandwidth-sharing mechanisms
In this article, we present a novel discrete-time Markov chain model of book-ahead bandwidthsharing mechanisms. We use this analytical model and a simulation model to understand t...
Xiangfei Zhu, Malathi Veeraraghavan
ISQED
2009
IEEE
111views Hardware» more  ISQED 2009»
15 years 9 months ago
Efficient statistical analysis of read timing failures in SRAM circuits
A system-level statistical analysis methodology is described that captures the impact of inter- and intra-die process variations for read timing failures in SRAM circuit blocks. U...
Soner Yaldiz, Umut Arslan, Xin Li, Larry T. Pilegg...
ISOLA
2004
Springer
15 years 8 months ago
A Formal Analysis of Bluetooth Device Discovery
Abstract. This paper presents a formal analysis of the device discovery phase of the Bluetooth wireless communication protocol. The performance of this process is the result of a c...
Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman,...
101
Voted
HICSS
2006
IEEE
130views Biometrics» more  HICSS 2006»
15 years 8 months ago
Governance of the IT Function: Valuing Agility and Quality of Training, Cooperation and Communications
It has long been argued that the organizational structure and reporting relationships of the IT functional area profoundly affects organizational performance. However, since most ...
Felipe Csaszar, Eric K. Clemons