Sciweavers

920 search results - page 109 / 184
» Computing the Frequency of Partial Orders
Sort
View
LCN
2007
IEEE
15 years 4 months ago
A Measurement-Based Modeling Approach for Network-Induced Packet Delay
— An approach is presented to capture and model Internet end-to-end packet delay behavior using ARMA and ARIMA models. Autocorrelation (ACF) and Partial Autocorrelation (PACF) fu...
Daniel A. Vivanco, Anura P. Jayasumana
SOCO
2005
Springer
15 years 3 months ago
Composition-Oriented Service Discovery
Abstract. Service discovery and service aggregation are two crucial issues in the emerging area of Service-oriented Computing (SoC). We propose a new technique for the discovery of...
Antonio Brogi, Sara Corfini, Razvan Popescu
CP
2004
Springer
15 years 3 months ago
Counting-Based Look-Ahead Schemes for Constraint Satisfaction
Abstract. The paper presents a new look-ahead scheme for backtracking search for solving constraint satisfaction problems. This look-ahead scheme computes a heuristic for value ord...
Kalev Kask, Rina Dechter, Vibhav Gogate
GD
2003
Springer
15 years 3 months ago
Simultaneous Graph Drawing: Layout Algorithms and Visualization Schemes
In this paper we consider the problem of drawing and displaying a series of related graphs, i.e., graphs that share all, or parts of the same node set. We present three algorithms...
Cesim Erten, Stephen G. Kobourov, Vu Le, Armand Na...
127
Voted
CSFW
2000
IEEE
15 years 2 months ago
Information Flow Analysis in a Discrete-Time Process Algebra
Some of the non interference properties studied in [4, 6, 18] for information flow analysis in computer systems, notably Æ , are reformulated here in a realtime setting. This is...
Riccardo Focardi, Roberto Gorrieri, Fabio Martinel...