Sciweavers

1555 search results - page 96 / 311
» Using Macromodels to Manage Collections of Related Models
Sort
View
BMCBI
2007
139views more  BMCBI 2007»
13 years 10 months ago
Improving model predictions for RNA interference activities that use support vector machine regression by combining and filterin
Background: RNA interference (RNAi) is a naturally occurring phenomenon that results in the suppression of a target RNA sequence utilizing a variety of possible methods and pathwa...
Andrew S. Peek
WWW
2005
ACM
14 years 11 months ago
Consistency checking of UML model diagrams using the XML semantics approach
A software design is often modeled as a collection of unified Modeling Language (UML) diagrams. There are different aspects of the software system that are covered by many differe...
Yasser Kotb, Takuya Katayama
ASPDAC
2001
ACM
126views Hardware» more  ASPDAC 2001»
14 years 2 months ago
A new partitioning scheme for improvement of image computation
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
Christoph Meinel, Christian Stangier
SIGMOD
2003
ACM
140views Database» more  SIGMOD 2003»
14 years 10 months ago
A Comprehensive XQuery to SQL Translation using Dynamic Interval Encoding
The W3C XQuery language recommendation, based on a hierarchical and ordered document model, supports a wide variety of constructs and use cases. There is a diversity of approaches...
David DeHaan, David Toman, Mariano P. Consens, M. ...
EDOC
2003
IEEE
14 years 3 months ago
Model Driven Security: Unification of Authorization Models for Fine-Grain Access Control
The research vision of the Unified Component Meta Model Framework (UniFrame) is to develop an infrastructure for components that enables a plug and play component environment wher...
Carol C. Burt, Barrett R. Bryant, Rajeev R. Raje, ...