Sciweavers

2801 search results - page 30 / 561
» On the Adequateness of the Connection Method
Sort
View
ESEC
1999
Springer
15 years 6 months ago
The CIP Method: Component- and Model-Based Construction of Embedded Systems
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
Hugo Fierz
RECOMB
2006
Springer
16 years 2 months ago
Assessing Significance of Connectivity and Conservation in Protein Interaction Networks
Computational and comparative analysis of protein-protein interaction (PPI) networks enable understanding of the modular organization of the cell through identification of functio...
Mehmet Koyutürk, Ananth Grama, Wojciech Szpan...
BIRTHDAY
2007
Springer
15 years 5 months ago
Deriving Specifications for Systems That Are Connected to the Physical World
Well understood methods exist for developing programs from formal specifications. Not only do such methods offer a precise check that certain sorts of deviations from their specifi...
Cliff B. Jones, Ian J. Hayes, Michael A. Jackson
PAM
2005
Springer
15 years 7 months ago
New Methods for Passive Estimation of TCP Round-Trip Times
We propose two methods to passively measure and monitor changes in round-trip times (RTTs) throughout the lifetime of a TCP connection. Our first method associates data segments w...
Bryan Veal, Kang Li, David K. Lowenthal
128
Voted
CVPR
2007
IEEE
16 years 3 months ago
Human Detection via Classification on Riemannian Manifolds
We present a new algorithm to detect humans in still images utilizing covariance matrices as object descriptors. Since these descriptors do not lie on a vector space, well known m...
Oncel Tuzel, Fatih Porikli, Peter Meer