Sciweavers

4983 search results - page 802 / 997
» order 2008
Sort
View
EUROSYS
2008
ACM
15 years 5 months ago
Efficient guaranteed disk request scheduling with fahrrad
Guaranteed I/O performance is needed for a variety of applications ranging from real-time data collection to desktop multimedia to large-scale scientific simulations. Reservations...
Anna Povzner, Tim Kaldewey, Scott A. Brandt, Richa...
FASE
2008
Springer
15 years 5 months ago
An Algebraic Semantics for MOF
Abstract. Model-driven development is a field within software engineering in which software artifacts are represented as models in order to improve productivity, quality, and cost ...
Artur Boronat, José Meseguer
FASE
2008
Springer
15 years 5 months ago
A Generic Complete Dynamic Logic for Reasoning About Purity and Effects
For a number of programming languages, among them Eiffel, C, Java and Ruby, Hoare-style logics and dynamic logics have been developed. In these logics, pre- and postconditions are ...
Till Mossakowski, Lutz Schröder, Sergey Gonch...
127
Voted
FGR
2008
IEEE
156views Biometrics» more  FGR 2008»
15 years 5 months ago
Modelling human perception of static facial expressions
Data collected through a recent web-based survey show that the perception (i.e. labeling) of a human facial expression by a human observer is a subjective process, which results i...
Matteo Sorci, Jean-Philippe Thiran, J. Cruz, T. Ro...
AMR
2008
Springer
248views Multimedia» more  AMR 2008»
15 years 5 months ago
Mobile Museum Guide Based on Fast SIFT Recognition
Abstract. This article explores the feasibility of a market-ready, mobile pattern recognition system based on the latest findings in the field of object recognition and currently a...
Boris Ruf, Effrosini Kokiopoulou, Marcin Detynieck...