2514 search results - page 435 / 503 » The use of industrial-strength formal methods |
168
click to vote
PRDC
2006
IEEE
16 years 6 days ago
2006
IEEE
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
152
click to vote
WIOPT
2006
IEEE
16 years 6 days ago
2006
IEEE
Abstract— In this paper, we study the performance of clientAccess Point (AP) association policies in IEEE 802.11 based WLANs. In many scenarios, clients have a choice of APs with...
167
click to vote
ACL2
2006
ACM
16 years 5 days ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...
162
click to vote
SIGCOMM
2006
ACM
16 years 4 days ago
2006
ACM
We present Wit, a non-intrusive tool that builds on passive monitoring to analyze the detailed MAC-level behavior of operational wireless networks. Wit uses three processing steps...
164
click to vote
WIKIS
2006
ACM
16 years 4 days ago
2006
ACM
Ontologies are consensual representations of a domain of discourse and the backbone of the future Semantic Web. Currently, however, only a fraction of Web users can take part in t...