6740 search results - page 1157 / 1348 » Using Classification as a Programming Language |
130
click to vote
COMPSAC
2008
IEEE
15 years 11 months ago
2008
IEEE
Buffer overflow (BOF) is one of the major vulnerabilities that leads to non-secure software. Testing an implementation for BOF vulnerabilities is challenging as the underlying rea...
147
click to vote
SEMCO
2007
IEEE
15 years 11 months ago
2007
IEEE
A clustering method is presented which can be applied to knowledge bases storing semantically annotated resources. The method can be used to discover groupings of structured objec...
146
click to vote
TASE
2007
IEEE
15 years 11 months ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
129
click to vote
IFIP
2007
Springer
15 years 11 months ago
2007
Springer
Context-aware applications use context information, like location or identification of nearby objects of interest, to adapt their behavior to the current situation of the user. The...
146
click to vote
LCTRTS
2007
Springer
15 years 11 months ago
2007
Springer
Memory management is a critical issue for correctness and performance in real-time embedded systems. Recent work on real-time garbage collectors has shown that it is possible to p...