Sciweavers

2250 search results - page 204 / 450
» Authorizing applications in singularity
Sort
View
CANDC
2007
ACM
15 years 10 months ago
Eco-visualization: combining art and technology to reduce energy consumption
Can creative visualizations of real time energy consumption patterns trigger more ecologically responsible behavior? Media art that displays the real time usage of key resources s...
Tiffany Holmes
ACSAC
2004
IEEE
15 years 10 months ago
Nabs: A System for Detecting Resource Abuses via Characterization of Flow Content Type
One of the growing problems faced by network administrators is the abuse of computing resources by authorized and unauthorized personnel. The nature of abuse may vary from using u...
Kulesh Shanmugasundaram, Mehdi Kharrazi, Nasir D. ...
BIRTHDAY
2006
Springer
15 years 10 months ago
Research Perspectives for Logic and Deduction
The article is meant to be kind of the author's manifesto for the role of logic and deduction within Intellectics. Based on a brief analysis of this role the paper presents a...
Wolfgang Bibel
EGICE
2006
15 years 10 months ago
Coordinating Goals, Preferences, Options, and Analyses for the Stanford Living Laboratory Feasibility Study
This paper describes an initial application of Multi-Attribute Collective Decision Analysis for a Design Initiative (MACDADI) on the feasibility study of a mixed-use facility. Firs...
John Haymaker, John Chachere
ESOP
2006
Springer
15 years 10 months ago
Type-Based Amortised Heap-Space Analysis
Abstract. We present a type system for a compile-time analysis of heapspace requirements of Java style object-oriented programs with explicit deallocation. Our system is based on a...
Martin Hofmann, Steffen Jost