13917 search results - page 2699 / 2784 » Abstraction of Probabilistic Systems |
160
click to vote
GMP
2006
IEEE
16 years 26 days ago
2006
IEEE
Abstract. The need for robust solutions for sets of non-linear multivariate constraints or equations needs no motivation. Subdivision-based multivariate constraint solvers [1–3] ...
199
click to vote
IEEEARES
2006
IEEE
16 years 25 days ago
2006
IEEE
— Service Oriented Architectures with underlying technologies like web services and web services orchestration have opened the door to a wide range of novel application scenarios...
208
click to vote
INFOCOM
2006
IEEE
16 years 25 days ago
2006
IEEE
Abstract— A bloom filter is a simple, space-efficient, randomized data structure for concisely representing a static data set, in order to support approximate membership querie...
181
click to vote
INFOCOM
2006
IEEE
16 years 25 days ago
2006
IEEE
— A key function for network traffic monitoring and analysis is the ability to perform aggregate queries over multiple data streams. Change detection is an important primitive w...
213
click to vote
INFOCOM
2006
IEEE
16 years 25 days ago
2006
IEEE
Abstract— To increase reliability and robustness of missioncritical services in the face of routing changes, it is often desirable and beneficial to take advantage of path diver...