756 search results - page 20 / 152 » Recent progress with BOXES |
IGPL
2006
14 years 9 months ago
2006
Abstract. We consider the case where inconsistencies are present between a system and its corresponding model, used for automatic verification. Such inconsistencies can be the resu...
RC
2002
14 years 9 months ago
2002
Given an approximate solution to a nonlinear system of equations at which the Jacobi matrix is nonsingular, and given that the Jacobi matrix is continuous in a region about this ap...
EGOV
2007
Springer
15 years 4 months ago
2007
Springer
It is widely perceived that the nature of ICT is changing and so is the scale of the resulting economic and societal impact around Europe. Continued and accelerating technological ...
ICIP
1999
IEEE
15 years 11 months ago
1999
IEEE
We use unequal amounts of explicit channel coding for generalized multiple description coding. Our solution can use any progressive source coder and it disperses information equal...
101
click to vote
IMC
2005
ACM
15 years 3 months ago
2005
ACM
In recent years, the standards community has developed techniques for traversing NAT/firewall boxes with UDP (that is, establishing UDP flows between hosts behind NATs). Because...