3742 search results - page 440 / 749 » On the Use of Formal Techniques for Validation |
205
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
XML data warehouses form an interesting basis for decision-support applications that exploit complex data. However, native XML database management systems currently bear limited p...
185
Voted
IJHPCN
2006
15 years 6 months ago
2006
: On-demand routing protocols are widely used in mobile ad hoc networks due to their capability of adjusting to frequent network topology changes within acceptable routing overhead...
191
Voted
ASC
2004
15 years 6 months ago
2004
Abstract. This paper presents a real-time full-programmable fuzzy compiler based on piecewise linear interpolation techniques designed to be executed in SIMD (Single Instruction Mu...
170
click to vote
COMCOM
2002
15 years 6 months ago
2002
IP over ATM technique is gaining popularity due to the Quality of Service (QoS) and other management features offered by ATM and its ease of integration with almost all existing t...
134
click to vote
JC
2002
15 years 6 months ago
2002
It has been known how to use computational fixed point theorems to verify existence and uniqueness of a true solution to a nonlinear system of equations within a small region abou...