2272 search results - page 88 / 455 » Validity Invariants and Effects |
134
Voted
TMA
2010
Springer
15 years 1 months ago
2010
Springer
Spurious Retransmission Timeouts in TCP connections have been extensively studied in the scientific literature, particularly for their relevance in cellular mobile networks. At the...
164
Voted
PROMISE
2010
14 years 10 months ago
2010
Background. Recent studies have shown that Support Vector Regression (SVR) has an interesting potential in the field of effort estimation. However applying SVR requires to careful...
159
click to vote
ER
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...
181
Voted
SIGMETRICS
2010
ACM
15 years 2 months ago
2010
ACM
As modern multi-tier systems are becoming increasingly large and complex, it becomes more difficult for system analysts to understand the overall behavior of the system, and diag...
147
Voted
ECCV
2002
Springer
16 years 5 months ago
2002
Springer
In central catadioptric systems, lines in a scene are projected to conic curves in the image. This work studies the geometry of the central catadioptric projection of lines and its...