Sciweavers

10285 search results - page 438 / 2057
» Composing Feature Models
Sort
View
HICSS
2007
IEEE
97views Biometrics» more  HICSS 2007»
16 years 1 months ago
Implementation-Oriented Secure Architectures
We propose a framework for constructing secure systems at the architectural level. This framework is composed of an implementation-oriented formalization of a system’s architect...
Daniel Conte de Leon, Jim Alves-Foss, Paul W. Oman
CPM
2007
Springer
222views Combinatorics» more  CPM 2007»
16 years 1 months ago
Computing Exact p-Value for Structured Motif
Extracting motifs from a set of DNA sequences is important in computational biology. Occurrence probability is a common used statistics to evaluate the statistical significance of...
Jing Zhang, Xi Chen, Ming Li
DATE
2006
IEEE
143views Hardware» more  DATE 2006»
16 years 28 days ago
A coverage metric for the validation of interacting processes
We present a coverage metric which evaluates the testing of a set of interacting concurrent processes. Existing behavioral coverage metrics focus almost exclusively on the testing...
Ian G. Harris
ICECCS
2006
IEEE
126views Hardware» more  ICECCS 2006»
16 years 28 days ago
Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC
Abstract— Our approach to the model-driven collaborative design of workflows for bioinformatic applications uses the jABC [6] for model driven mediation and choreography to comp...
Tiziana Margaria, Christian Kubczak, Marc Njoku, B...
ICMCS
2006
IEEE
152views Multimedia» more  ICMCS 2006»
16 years 27 days ago
Muli-Issue Multi-Threaded Stream Processor
The MISP Processor is a programmable media processor which supports multi-issuing, multi-threading and stream processing techniques. MISP executes applications that have been mapp...
Somayeh Sardashti, Hamid Reza Ghasemi, Omid Fatemi