Sciweavers

4839 search results - page 383 / 968
» A survey of computational complexity results in systems and ...
Sort
View
AI
2002
Springer
15 years 6 months ago
Coherence in finite argument systems
Systems provide a rich abstraction within which divers concepts of reasoning, acceptability and defeasibility of arguments, etc., may be studied using a unified framework. Two imp...
Paul E. Dunne, Trevor J. M. Bench-Capon
EUROMICRO
2009
IEEE
15 years 10 months ago
SuGI - Portal and Training Systems for Grid Middlewares
Grid computing is a research and development topic, currently getting much attention. As a result, new ideas as well as research and project results are being produced at a very h...
Joachim Götze, Bernd Reuther, Paul Mülle...
SI3D
1999
ACM
15 years 11 months ago
MMR: an interactive massive model rendering system using geometric and image-based acceleration
We present a system for rendering very complex 3D models at interactive rates. We select a subset of the model as preferred viewpoints and partition the space into virtual cells. ...
Daniel G. Aliaga, Jonathan D. Cohen, Andrew Wilson...
NDSS
2009
IEEE
16 years 1 months ago
Analyzing and Comparing the Protection Quality of Security Enhanced Operating Systems
Host compromise is a serious computer security problem today. To better protect hosts, several Mandatory Access Control systems, such as Security Enhanced Linux (SELinux) and AppA...
Hong Chen, Ninghui Li, Ziqing Mao
MHCI
2004
Springer
16 years 5 days ago
Tilt-Based Automatic Zooming and Scaling in Mobile Devices - A State-Space Implementation
Abstract. We provide a dynamic systems interpretation of the coupling of internal states involved in speed-dependent automatic zooming, and test our implementation on a text browse...
Parisa Eslambolchilar, Roderick Murray-Smith