Sciweavers

2061 search results - page 184 / 413
» Authorization for Metacomputing Applications
Sort
View
149
Voted
EGICE
2006
15 years 8 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 8 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
143
Voted
CODES
2001
IEEE
15 years 8 months ago
Empirical comparison of software-based error detection and correction techniques for embedded systems
"Function Tokens" and "NOP Fills" are two methods proposed by various authors to deal with Instruction Pointer corruption in microcontrollers, especially in th...
Royan H. L. Ong, Michael J. Pont
SAC
1998
ACM
15 years 8 months ago
Object oriented process modeling with fuzzy logic
Fuzzy Logic has traditionally found an application in control theory, systems analysis, and artificial intelligence [9] [7]. However, it is very difficult to apply it to tradition...
Luigi Benedicenti, Giancarlo Succi, Tullio Vernazz...
OHS
2000
Springer
15 years 8 months ago
Musical Part Classification in Content Based Systems
In the Fourth Open Hypermedia Systems workshop, the authors presented scenarios and a set of prototype tools to explore the application of open hypermedia principles, including con...
Steven Blackburn, David De Roure