12774 search results - page 2391 / 2555 » A Framework for Proof Systems |
168
click to vote
ATAL
2005
Springer
16 years 3 days ago
2005
Springer
There has been a growing interest in designing multi-agent based interactive dramas. A key research challenge faced in the design of these systems is to support open-ended user in...
174
click to vote
CCS
2005
ACM
16 years 3 days ago
2005
ACM
Policy enforcement is an integral part of many applications. Policies are often used to control access to sensitive information. Current policy specification languages give users ...
180
click to vote
UML
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Evaluating the implications of an architecture design early in the software development lifecycle is important in order to reduce costs of development. Reliability is an ...
192
click to vote
ASPLOS
2004
ACM
16 years 40 min ago
2004
ACM
This paper introduces a compiler-orchestrated prefetching system as a unified framework geared toward ameliorating the gap between processing speeds and memory access latencies. ...
173
click to vote
MM
2004
ACM
15 years 12 months ago
2004
ACM
The realization of multimedia systems still heavily relies on building monolithic systems that need to be reengineered for every change in the application and little of which can ...