6187 search results - page 1169 / 1238 » Practical Software Measurement |
132
click to vote
ECAI
2004
Springer
15 years 8 months ago
2004
Springer
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...
154
click to vote
GI
2004
Springer
15 years 8 months ago
2004
Springer
: Next to authentication, secure key exchange is considered the most critical and complex issue regarding ad-hoc network security. We present a low-cost, (i.e. low hardware-complex...
115
click to vote
MHCI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The field of Remote Vehicle Diagnostics can be described as the remote management of vehicles equipped with electronic control systems. Despite the great potential that i...
149
Voted
UPP
2004
Springer
15 years 8 months ago
2004
Springer
Self-assembly is the spontaneous self-ordering of substructures into superstructures driven by the selective affinity of the substructures. DNA provides a molecular scale material...
132
click to vote
VIZSEC
2004
Springer
15 years 8 months ago
2004
Springer
We describe a framework for managing network attack graph complexity through interactive visualization, which includes hierarchical aggregation of graph elements. Aggregation coll...