4592 search results - page 551 / 919 » Framework for Studying Substitution |
230
click to vote
ICWS
2010
IEEE
15 years 6 months ago
2010
IEEE
Survivability is a crucial property for computer systems that support critical infrastructures of our society. A variety of survivability definitions and evaluation methods for t...
216
click to vote
ISOLA
2010
Springer
15 years 6 months ago
2010
Springer
With the Internet designed to provide best-effort packet transmission, applications are expected to adapt dynamically to the operating conditions observed in the network. For this ...
198
click to vote
LOGCOM
2010
15 years 6 months ago
2010
All promiment examples of first-order predicate fuzzy logics are undecidable. This leads to the problem of the arithmetical complexity of their sets of tautologies and satisfiab...
165
click to vote
PTS
2010
15 years 6 months ago
2010
In this paper, we explore the set of testable properties within the Safety-Progress classification where testability means to establish by testing that a relation, between the tes...
215
click to vote
PVLDB
2010
15 years 6 months ago
2010
Shortest path computation is one of the most common queries in location-based services that involve transportation networks. Motivated by scalability challenges faced in the mobil...