Sciweavers

2801 search results - page 30 / 561
» On the Adequateness of the Connection Method
Sort
View
ESEC
1999
Springer
14 years 1 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
14 years 9 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
14 years 25 days 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
14 years 2 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
CVPR
2007
IEEE
14 years 10 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