2106 search results - page 46 / 422 » Specifying C concepts |
ENTCS
2008
13 years 7 months ago
2008
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...
JOT
2010
13 years 6 months ago
2010
Aspect-oriented programming (AOP) provides assistance in modularizing concerns that crosscut the boundaries of system decomposition. Aspects have the potential to interact with ma...
ICML
2004
IEEE
14 years 8 months ago
2004
IEEE
Text categorization algorithms usually represent documents as bags of words and consequently have to deal with huge numbers of features. Most previous studies found that the major...
ICAC
2006
IEEE
14 years 1 months ago
2006
IEEE
— The need for self-healing software to respond with a reactive, proactive or preventative action as a result of changes in its environment has added the non-functional requireme...
IEEEARES
2006
IEEE
14 years 1 months ago
2006
IEEE
Authentication and Authorisation Infrastructures (AAIs) are gaining momentum throughout the Internet. Solutions have been proposed for various scenarios among them academia, GRID ...