3742 search results - page 182 / 749 » On the Use of Formal Techniques for Validation |
280
click to vote
ICDE
2007
IEEE
16 years 7 months ago
2007
IEEE
Poor quality data is prevalent in databases due to a variety of reasons, including transcription errors, lack of standards for recording database fields, etc. To be able to query ...
184
click to vote
JPDC
2007
15 years 6 months ago
2007
We propose an algorithm to compute the optimal parameters of a probabilistic data propagation algorithm for wireless sensor networks (WSN). The probabilistic data propagation algo...
174
click to vote
SEFM
2005
IEEE
16 years 1 days ago
2005
IEEE
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...
188
click to vote
NETWORKING
2007
15 years 8 months ago
2007
This paper presents a general model to study the medium access control (MAC) layer performance and equilibrium of WLANs consisting of nodes with different MAC parameters (e.g., ba...
150
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
Abstract. Constraint logic programming combines declarativity and efficiency thanks to constraint solvers implemented for specific domains. Value withdrawal explanations have been ...