2597 search results - page 366 / 520 » A Relational Approach to Support Software Architecture Analy... |
187
click to vote
ODRL
2004
15 years 7 months ago
2004
The paper describes experiences, ideas, and problems that were discovered while developing a digital rights management (DRM) extension to an XML browser. The supported rights desc...
161
click to vote
CC
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. To reason about programs, dynamic optimizers and analysis tools use sampling to collect a dynamic call graph (DCG). However, sampling has not achieved high accuracy with ...
163
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Microarray-based pooled DNA experiments that combine the merits of DNA pooling and gene chip technology constitute a pivotal advance in biotechnology. This new techniq...
166
click to vote
DSS
2008
15 years 6 months ago
2008
While small-scale search engines in specific domains and languages are increasingly used by Web users, most existing search engine development tools do not support the development...
173
click to vote
ICST
2010
IEEE
15 years 4 months ago
2010
IEEE
—Model-based testing is a well known technique that allows one to validate the correctness of software with respect to its model. If a lot of data is involved, symbolic technique...