3686 search results - page 368 / 738 » Comprehensive comprehensions |
121
Voted
IWPC
2009
IEEE
15 years 10 months ago
2009
IEEE
Understanding aspect-oriented systems, without appropriate tool support, is a difficult and a recognized problem in the research community. Surprisingly, little has been done to ...
147
click to vote
IWPC
2009
IEEE
15 years 10 months ago
2009
IEEE
Architecture defines the components of a system and their dependencies. The knowledge about how the architecture is intended to be implemented is essential to keep the system str...
115
click to vote
IWPC
2009
IEEE
15 years 10 months ago
2009
IEEE
It is often claimed that inaccurate modularisation of crosscutting concerns hinders program comprehension and, as a consequence, leads to harmful software instabilities. However, ...
144
click to vote
TPHOL
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. We present a comprehensive set of tactics that make it practical to use separation logic in a proof assistant. These tactics enable the verification of partial correctne...
124
Voted
ACNS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Being able to access and provide Internet services anonymously is an important mechanism to ensure freedom of speech in vast parts of the world. Offering location-hidden...