Sciweavers

2162 search results - page 354 / 433
» Automated Reasoning on Feature Models
Sort
View
ECBS
2009
IEEE
89views Hardware» more  ECBS 2009»
15 years 11 months ago
Optimisation Process for Maintaining Evolvability during Software Evolution
Software systems have to be changed continuously and evolutionarily throughout the whole time of their development and usage. Meanwhile, the software systems have to remain flexi...
Robert Brcina, Stephan Bode, Matthias Riebisch
ACNS
2007
Springer
129views Cryptology» more  ACNS 2007»
15 years 10 months ago
Gradually Convertible Undeniable Signatures
In 1990, Boyar, Chaum, Damg˚ard and Pedersen introduced convertible undeniable signatures which limit the self-authenticating property of digital signatures but can be converted b...
Laila El Aimani, Damien Vergnaud
OTM
2007
Springer
15 years 10 months ago
Semantically Resolving Type Mismatches in Scientific Workflows
Scientists are increasingly utilizing Grids to manage large data sets and execute scientific experiments on distributed resources. Scientific workflows are used as means for modeli...
Kheiredine Derouiche, Denis A. Nicole
SEMWEB
2007
Springer
15 years 10 months ago
An Ontology Design Pattern for Representing Relevance in OWL
Abstract. Design patterns are widely-used software engineering abstractions which define guidelines for modeling common application scenarios. Ontology design patterns are the ext...
Fernando Bobillo, Miguel Delgado, Juan Góme...
ACIVS
2006
Springer
15 years 10 months ago
Blue Sky Detection for Picture Quality Enhancement
Content analysis of video and still images is attractive for multiple reasons, such as enabling content-based actions and image manipulation. This paper presents a new algorithm an...
Bahman Zafarifar, Peter H. N. de With