Sciweavers

20638 search results - page 3524 / 4128
» Network Computing
Sort
View
AUTOMATICA
2008
98views more  AUTOMATICA 2008»
15 years 7 months ago
Stability and stabilization of nonuniform sampling systems
This paper is concerned with nonuniform sampling systems, where the sampling interval is time-varying within a certain known bound. The system is transformed into a time-varying d...
Young Soo Suh
CACM
2010
113views more  CACM 2010»
15 years 7 months ago
Reasoning about the unknown in static analysis
Static program analysis techniques cannot know certain values, such as the value of user input or network state, at analysis time. While such unknown values need to be treated as ...
Isil Dillig, Thomas Dillig, Alex Aiken
COMCOM
2010
179views more  COMCOM 2010»
15 years 7 months ago
On the statistical characterization of flows in Internet traffic with application to sampling
A new method of estimating some statistical characteristics of TCP flows in the Internet is developed in this paper. For this purpose, a new set of random variables (referred to as...
Yousra Chabchoub, Christine Fricker, Fabrice Guill...
CONCURRENCY
2008
89views more  CONCURRENCY 2008»
15 years 7 months ago
An experiment with reflective middleware to support grid-based flood monitoring
Flooding is a growing problem, which affects more than 10% of the UK population. The cost of damage caused by flooding correlates closely with the warning time given before a floo...
Danny Hughes, Phil Greenwood, Gordon S. Blair, Geo...
ENTCS
2010
84views more  ENTCS 2010»
15 years 7 months ago
Resource Modeling for Timed Creol Models
This paper describes the semantics of a timed, resource-constrained extension of the Creol modeling language. Creol is an object-oriented modeling language with a design that is s...
Rudolf Schlatte, Bernhard K. Aichernig, Andreas Gr...
« Prev « First page 3524 / 4128 Last » Next »