Sciweavers

5128 search results - page 76 / 1026
» When Abstraction Fails
Sort
View
BDA
2006
14 years 11 months ago
Integrating Correction into Incremental Validation
Many data on the Web are XML documents. An XML document is an unranked labelled tree. A schema for XML documents (for instance a DTD) is the specification of their internal structu...
Béatrice Bouchou, Ahmed Cheriat, Mirian Hal...
CN
2006
97views more  CN 2006»
14 years 10 months ago
Fault tolerance for home agents in mobile IP
In the conventional IP protocol, whenever a mobile device moves to a different network, it must change its IP address to communicate with other nodes in the Internet. Mobile IP pr...
Yin-Fu Huang, Min-Hsiu Chuang
CISS
2010
IEEE
14 years 1 months ago
Unconstrained minimization of quadratic functions via min-sum
—Gaussian belief propagation is an iterative algorithm for computing the mean of a multivariate Gaussian distribution. Equivalently, the min-sum algorithm can be used to compute ...
Nicholas Ruozzi, Sekhar Tatikonda
INFOCOM
2012
IEEE
13 years 9 days ago
BitTrickle: Defending against broadband and high-power reactive jamming attacks
—Reactive jamming is not only cost effective, but also hard to track and remove due to its intermittent jamming behaviors. Frequency Hopping Spread Spectrum (FHSS) and Direct Seq...
Yao Liu, Peng Ning
SLP
1990
121views more  SLP 1990»
14 years 11 months ago
Analysis of Constraint Logic Programs
eric abstract interpretation framework. The results show significant benefits when using the proposed incremental analysis algorithms.
Kim Marriott, Harald Søndergaard