Sciweavers

5234 search results - page 160 / 1047
» Method Components - Rationale Revealed
Sort
View
SUTC
2006
IEEE
15 years 9 months ago
An Adaptive Hybrid Dynamic Power Management Method
In this paper, we propose an adaptive hybrid dynamic power management (AH-DPM) strategy based on a predictive shutdown scheme and an adaptive non-stationary stochastic process. Th...
Hung-Cheng Shih, Kuochen Wang
DATE
2003
IEEE
186views Hardware» more  DATE 2003»
15 years 8 months ago
Formal Methods for Integration of Automotive Software
Novel functionality, configurability and higher efficiency in automotive systems require sophisticated embedded software, as well as distributed software development between man...
Marek Jersak, Kai Richter, Rolf Ernst, Jörn-C...
VL
2003
IEEE
121views Visual Languages» more  VL 2003»
15 years 8 months ago
Visual methods for web application design
The paper outlines a tool-supported approach to the design of Web applications. Behavioural models are augmented with web-based simulations of user interfaces to permit validation...
Robert Chatley, Jeff Kramer, Jeff Magee, Sebasti&a...
127
Voted
CCS
2001
ACM
15 years 7 months ago
New Iterative Geometric Methods for Robust Perceptual Image Hashing
We propose a novel and robust hashing paradigm that uses iterative geometric techniques and relies on observations that main geometric features within an image would approximately ...
Mehmet Kivanç Mihçak, Ramarathnam Ve...
CONCUR
2001
Springer
15 years 7 months ago
Compositional Methods for Probabilistic Systems
Abstract. We present a compositional trace-based model for probabilistic systems. The behavior of a system with probabilistic choice is a stochasticprocess, namely, a probability d...
Luca de Alfaro, Thomas A. Henzinger, Ranjit Jhala