23915 search results - page 4427 / 4783 » Management |
188
click to vote
VIZSEC
2005
Springer
16 years 7 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...
188
click to vote
VLDB
2005
ACM
16 years 7 days ago
2005
ACM
In this paper, we examine the performance of frequent pattern mining algorithms on a modern processor. A detailed performance study reveals that even the best frequent pattern min...
211
click to vote
VLDB
2005
ACM
16 years 7 days ago
2005
ACM
Many enterprise applications prefer to store XML data as a rich data type, i.e. a sequence of bytes, in a relational database system to avoid the complexity of decomposing the dat...
191
click to vote
VSTTE
2005
Springer
16 years 7 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...
175
click to vote
VSTTE
2005
Springer
16 years 7 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...