4131 search results - page 778 / 827 » Compactness in Topology and Computation |
121
click to vote
CAV
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
132
click to vote
VIZSEC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract Attack graphs for large enterprise networks improve security by revealing critical paths used by adversaries to capture network assets. Even with simplification, current a...
125
click to vote
WEA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. A major task in evolutionary biology is to determine the ancestral relationships among the known species, a process generally referred as phylogenetic reconstruction. In ...
106
click to vote
ICDCS
2006
IEEE
15 years 8 months ago
2006
IEEE
Peer-to-peer (P2P) technology has been successfully applied in Internet telephony or Voice over Internet Protocol (VoIP), such as the Skype system, where P2P is used for both sear...
104
click to vote
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
Response time is a key factor of any e-Commerce application, and a set of solutions have been proposed to provide low response time despite network congestions or failures. Being ...