13917 search results - page 2625 / 2784 » Abstraction of Probabilistic Systems |
351
click to vote
ICCS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Manual surface reconstruction is still an everyday practice in applications involving complex irregular domains necessary for modeling biological systems. Rapid developme...
210
Voted
MIDDLEWARE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The success of Internet telephony services like Skype illustrates the feasibility of utilizing unstructured Peer-to-Peer (P2P) networks as an economical platform for supp...
178
Voted
VMCAI
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...
176
click to vote
GLOBECOM
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— Virtual Output Queuing is widely used by highspeed packet switches to overcome head-of-line blocking. This is done by means of matching algorithms. In fixed-length VOQ...
233
click to vote
INFOCOM
2006
IEEE
16 years 1 months ago
2006
IEEE
—We present MobiStream— a video streaming system that exploits the perceptual value in video content and the characteristics of the link layer and physical layer channels to en...