8009 search results - page 1416 / 1602 » cans 2005 |
181
click to vote
VIZSEC
2005
Springer
16 years 2 days ago
2005
Springer
While efficient graph-based representations have been developed for modeling combinations of low-level network attacks, relatively little attention has been paid to effective tech...
191
click to vote
VLDB
2005
ACM
16 years 2 days ago
2005
ACM
Devising a scheme for efficient and scalable querying of Resource Description Framework (RDF) data has been an active area of current research. However, most approaches define new...
165
click to vote
VLDB
2005
ACM
16 years 2 days ago
2005
ACM
Many database applications have the emerging need to support fuzzy queries that ask for strings that are similar to a given string, such as “name similar to smith” and “tele...
184
click to vote
VSTTE
2005
Springer
16 years 2 days ago
2005
Springer
The validation of modern software systems on mobile devices needs to incorporate both functional and non-functional requirements. While some progress has been made in validating pe...
167
Voted
VSTTE
2005
Springer
16 years 2 days ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...