4209 search results - page 661 / 842 » Abstract Dialectical Frameworks |
139
click to vote
INFOCOM
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract— Replacement policies for general caching applications and Web caching in particular have been discussed extensively in the literature. Many ad-hoc policies have been pr...
149
click to vote
MEMOCODE
2003
IEEE
15 years 9 months ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...
130
click to vote
WCRE
2003
IEEE
15 years 9 months ago
2003
IEEE
Despite their potential applications in software comprehension, it appears that dynamic visualisation tools are seldom used outside the research laboratory. This paper presents an...
149
click to vote
WMCSA
2003
IEEE
15 years 9 months ago
2003
IEEE
Today car-navigation systems are increasingly penetrating the automotive market. However, the need for location-based information systems is no longer limited to cars. Mobile outd...
127
click to vote
UIST
2003
ACM
15 years 9 months ago
2003
ACM
Recent work is beginning to reveal the potential of numerical optimization as an approach to generating interfaces and displays. Optimization-based approaches can often allow a mi...