1664 search results - page 243 / 333 » Towards Partial Reasoning |
150
click to vote
ACMDIS
2004
ACM
15 years 11 months ago
2004
ACM
Privacy is a difficult design issue that is becoming increasingly important as we push into ubiquitous computing environments. While there is a fair amount of theoretical work on ...
169
click to vote
AOSD
2004
ACM
15 years 11 months ago
2004
ACM
A widespread implementation approach for the join point mechanism of aspect-oriented languages is to instrument areas in code that match the static part of pointcut designators, i...
141
click to vote
PPSN
2004
Springer
15 years 11 months ago
2004
Springer
A reasonably good description of the luminosity profiles of galaxies is needed as it serves as a guide towards understanding the process of galaxy formation and evolution. To obtai...
161
click to vote
ISCA
2003
IEEE
15 years 11 months ago
2003
IEEE
Debuggers have been proven indispensable in improving software reliability. Unfortunately, on most real-life software, debuggers fail to deliver their most essential feature — a...
167
click to vote
LICS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper reports on and discusses three notions of approximation for Labelled Markov Processes that have been developed last year. The three schemes are improvements over former...