Sciweavers

843 search results - page 122 / 169
» Introducing the Iteration in sPBC
Sort
View
DSOM
2007
Springer
15 years 10 months ago
Bottleneck Detection Using Statistical Intervention Analysis
Abstract. The complexity of today's large-scale enterprise applications demands system administrators to monitor enormous amounts of metrics, and reconfigure their hardware as...
Simon Malkowski, Markus Hedwig, Jason Parekh, Calt...
ATVA
2006
Springer
100views Hardware» more  ATVA 2006»
15 years 9 months ago
A Fine-Grained Fullness-Guided Chaining Heuristic for Symbolic Reachability Analysis
Chaining can reduce the number of iterations required for symbolic state-space generation and model-checking, especially in Petri nets and similar asynchronous systems, but require...
Ming-Ying Chung, Gianfranco Ciardo, Andy Jinqing Y...
ASIACRYPT
2000
Springer
15 years 9 months ago
Provable Security for the Skipjack-like Structure against Differential Cryptanalysis and Linear Cryptanalysis
In this paper we introduce a structure iterated by the rule A of Skipjack and show that this structure is provably resistant against differential or linear attacks. It is the main ...
Jaechul Sung, Sangjin Lee, Jong In Lim, Seokhie Ho...
COOPIS
1995
IEEE
15 years 9 months ago
From Organization Models to System Requirements: A 'Cooperating Agents' Approach
Increasingly, information systems development occurs in the context of existing systems and established organizational processes. Viewing organizational and system components as c...
Eric S. K. Yu, Philippe Du Bois, Eric Dubois, John...
SIGCOMM
1995
ACM
15 years 9 months ago
A Mobile User Location Update and Paging Mechanism Under Delay Constraints
A mobile user location management mechanism is introduced that incorporates a distance based location update scheme and a paging mechanism that satis es prede ned delay requiremen...
Ian F. Akyildiz, Joseph S. M. Ho