9626 search results - page 1638 / 1926 » Invariant Based Programming |
186
click to vote
APPT
2005
Springer
16 years 6 days ago
2005
Springer
SIP (Session Initiation Protocol) is a signaling protocol standardized by IETF, aiming to manage the multimedia transmission sessions among different parties. This paper illustrate...
185
click to vote
BTW
2005
Springer
16 years 6 days ago
2005
Springer
More than two decades ago, DB researchers faced up to the question of how to design a data-independent database management system (DBMS), that is, a DBMS which offers an appropriat...
174
click to vote
CASC
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We propose exact, complete and efficient methods for 2 problems: First, the real solving of systems of two bivariate rational polynomials of arbitrary degree. This means ...
202
click to vote
CASSIS
2005
Springer
16 years 6 days ago
2005
Springer
System software for deeply embedded devices has to cope with a broad variety of requirements and platforms, but especially with strict resource constraints. To compete against prop...
192
click to vote
COLT
2005
Springer
16 years 6 days ago
2005
Springer
In recent work Long and Servedio [LS05] presented a “martingale boosting” algorithm that works by constructing a branching program over weak classifiers and has a simple anal...