Sciweavers

4745 search results - page 363 / 949
» Discretization: An Enabling Technique
Sort
View
CONCUR
2009
Springer
16 years 1 months ago
Flow Policy Awareness for Distributed Mobile Code
Several programming constructs have recently been proposed with the purpose of enabling the programmer to encode declassifying information flows within a program that complies wi...
Ana Almeida Matos
PSIVT
2009
Springer
184views Multimedia» more  PSIVT 2009»
16 years 1 months ago
Detecting Video Forgeries Based on Noise Characteristics
The recent development of video editing techniques enables us to create realistic synthesized videos. Therefore using video data as evidence in places such as a court of law requir...
Michihiro Kobayashi, Takahiro Okabe, Yoichi Sato
SEMWEB
2009
Springer
16 years 1 months ago
TaxoMap in the OAEI 2009 Alignment Contest
Abstract. TaxoMap is an alignment tool which aims to discover rich correspondences between concepts. It performs an oriented alignment (from a source to a target ontology) and take...
Fayçal Hamdi, Brigitte Safar, Nobal B. Nira...
SLE
2009
Springer
16 years 1 months ago
Composing Feature Models
Feature modeling is a widely used technique in Software Product Line development. Feature models allow stakeholders to describe domain concepts in terms of commonalities and diffe...
Mathieu Acher, Philippe Collet, Philippe Lahire, R...
ASPDAC
2009
ACM
110views Hardware» more  ASPDAC 2009»
16 years 1 months ago
Variability-aware robust design space exploration of chip multiprocessor architectures
Abstract— In the context of a design space exploration framework for supporting the platform-based design approach, we address the problem of robustness with respect to manufactu...
Gianluca Palermo, Cristina Silvano, Vittorio Zacca...