Sciweavers

22698 search results - page 4157 / 4540
» Modeling in Software Engineering
Sort
View
CASES
2006
ACM
15 years 11 months ago
Memory optimization by counting points in integer transformations of parametric polytopes
Memory size reduction and memory accesses optimization are crucial issues for embedded systems. In the context of affine programs, these two challenges are classically tackled by ...
Rachid Seghir, Vincent Loechner
ELPUB
2006
ACM
15 years 11 months ago
Weaving the Web of Science. HyperJournal and the Impact of the Semantic Web on Scientific Publishing
In this paper we present HyperJournal, an Open Source web application for publishing on-line Open Access scholarly journals. In the first part (sections 1-3) we briefly describe t...
Michele Barbera, Francesca Di Donato
MSWIM
2006
ACM
15 years 11 months ago
Two methods of authenticated positioning
Recent studies and publications have shown a demand for a secure method to proof someones or somenthings position via a communication channel. In this paper we present a concept a...
Thomas Mundt
SIGIR
2006
ACM
15 years 11 months ago
Statistical precision of information retrieval evaluation
We introduce and validate bootstrap techniques to compute confidence intervals that quantify the effect of test-collection variability on average precision (AP) and mean average...
Gordon V. Cormack, Thomas R. Lynam
136
Voted
DSN
2005
IEEE
15 years 10 months ago
Assured Reconfiguration of Fail-Stop Systems
Hardware dependability improvements have led to a situation in which it is sometimes unnecessary to employ extensive hardware replication to mask hardware faults. Expanding upon o...
Elisabeth A. Strunk, John C. Knight, M. Anthony Ai...
« Prev « First page 4157 / 4540 Last » Next »