9626 search results - page 1638 / 1926 » Invariant Based Programming |
210
click to vote
APPT
2005
Springer
16 years 24 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...
203
click to vote
BTW
2005
Springer
16 years 24 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...
189
click to vote
CASC
2005
Springer
16 years 24 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 ...
234
click to vote
CASSIS
2005
Springer
16 years 24 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...
216
click to vote
COLT
2005
Springer
16 years 24 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...