8959 search results - page 178 / 1792 » Composing aspects with aspects |
189
click to vote
AML
2011
14 years 8 months ago
2011
We study the Medvedev degrees of mass problems with distinguished topological properties, such as denseness, closedness, or discreteness. We investigate the sublattices generated ...
169
click to vote
FASE
2011
Springer
14 years 8 months ago
2011
Springer
Given a program and an assertion in that program, determining if the assertion can fail is one of the key applications of program analysis. Symbolic execution is a well-known techn...
141
click to vote
HCI
2011
14 years 8 months ago
2011
There can often be a gap between theory and its implications for practice in human-behavioral studies. This gap can be particularly significant outside psychology departments. Most...