Sciweavers

2904 search results - page 304 / 581
» Valuing Design Repair
Sort
View
ICESS
2005
Springer
16 years 2 days ago
Separate Compilation for Synchronous Modules
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...
Jia Zeng, Stephen A. Edwards
ITRUST
2005
Springer
16 years 2 days ago
Security and Trust in the Italian Legal Digital Signature Framework
Abstract. The early adoption of a national, legal digital signature framework in Italy has brought forth a series of problems and vulnerabilities. In this paper we describe each of...
Stefano Zanero
NIME
2005
Springer
274views Music» more  NIME 2005»
16 years 2 days ago
MnM: a Max/MSP mapping toolbox
In this report, we describe our development on the Max/MSP toolbox MnM dedicated to mapping between gesture and sound, and more generally to statistical and machine learning metho...
Frédéric Bevilacqua, Remy Muller, No...
PADL
2005
Springer
16 years 2 days ago
An Ordered Logic Program Solver
We describe the design of the OLPS system, an implementation of the preferred answer set semantics for ordered logic programs. The basic algorithm we propose computes the extended ...
Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
VLDB
2005
ACM
124views Database» more  VLDB 2005»
16 years 1 days ago
Indexing Multi-Dimensional Uncertain Data with Arbitrary Probability Density Functions
In an “uncertain database”, an object o is associated with a multi-dimensional probability density function (pdf), which describes the likelihood that o appears at each positi...
Yufei Tao, Reynold Cheng, Xiaokui Xiao, Wang Kay N...