Sciweavers

6474 search results - page 567 / 1295
» Towards a Systemic Approach to Autonomic Systems Engineering
Sort
View
ENTCS
2008
106views more  ENTCS 2008»
15 years 7 months ago
Towards Verifying Model Transformations
In model-based software development, a complete design and analysis process involves designing the system using the design language, converting it into the analysis language, and ...
Anantha Narayanan, Gabor Karsai
CONNECTION
2004
83views more  CONNECTION 2004»
15 years 7 months ago
Toward open-ended evolutionary robotics: evolving elementary robotic units able to self-assemble and self-reproduce
In this paper we discuss the limitations of current evolutionary robotics models and we propose a new framework that might solve some of these problems and lead to an open-ended e...
Raffaele Bianco, Stefano Nolfi
SAC
2008
ACM
15 years 6 months ago
Towards automatic feature vector optimization for multimedia applications
We systematically evaluate a recently proposed method for unsupervised discrimination power analysis for feature selection and optimization in multimedia applications. A series of...
Tobias Schreck, Dieter W. Fellner, Daniel A. Keim
KSEM
2010
Springer
15 years 5 months ago
Towards Scalable Instance Retrieval over Ontologies
In this paper, we consider the problem of query answering over large multimedia ontologies. Traditional reasoning systems may have problems to deal with large amounts of expressive...
Alissa Kaplunova, Ralf Möller, Sebastian Wand...
TRUST
2010
Springer
15 years 5 months ago
SegSlice: Towards a New Class of Secure Programming Primitives for Trustworthy Platforms
The TPM is a fairly passive entity. As a result, it can be difficult to involve the TPM in measurements of software trustworthiness beyond simple load-time hashing of static progra...
Sergey Bratus, Michael E. Locasto, Brian Schulte