2451 search results - page 244 / 491 » Effective View Navigation |
174
click to vote
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper studies the automation of fault management of wireless and mobile networks. A network management protocol similar to SNMP with an integrated architecture using mobile ag...
154
click to vote
DAC
1997
ACM
15 years 8 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
128
click to vote
SP
2000
IEEE
15 years 8 months ago
2000
IEEE
Tradeoffs are an important part of engineering security. Protocol security is important. So are efficiency and cost. This paper provides an early framework for handling such aspec...
110
click to vote
ACL
2007
15 years 5 months ago
2007
A key question facing the parsing community is how to compare parsers which use different grammar formalisms and produce different output. Evaluating a parser on the same resource...
151
click to vote
DATESO
2007
15 years 5 months ago
2007
Boyer-Moore-Horspool (BMH) algorithm is commonly used to solve text searching problems. In this paper is used to solve the constraint subset of XPath queries offering effective alg...