Sciweavers

4759 search results - page 436 / 952
» Software Development Based on Software Pattern Evolution
Sort
View
159
Voted
CSB
2004
IEEE
177views Bioinformatics» more  CSB 2004»
15 years 10 months ago
Compressed Pattern Matching in DNA Sequences
We propose derivative Boyer-Moore (d-BM), a new compressed pattern matching algorithm in DNA sequences. This algorithm is based on the BoyerMoore method, which is one of the most ...
Lei Chen, Shiyong Lu, Jeffrey L. Ram
RTAS
2008
IEEE
16 years 16 days ago
Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
Jianliang Yi, Honguk Woo, James C. Browne, Aloysiu...
142
Voted
METRICS
2003
IEEE
15 years 11 months ago
Measuring and Improving Design Patterns Testability
This paper addresses not only the question of testability measurement of OO designs but also focuses on its practicability. While detecting testability weaknesses (called testabil...
Benoit Baudry, Yves Le Traon, Gerson Sunyé,...
ICWS
2009
IEEE
16 years 3 months ago
A Conceptual Modeling Approach to Business Service Mashup Development
Professional mashups that include complex choreographies, data mediation, and result publishing within Web pages are still affected by implementation and design practices that rel...
Alessandro Bozzon, Marco Brambilla, Federico Miche...
181
Voted
JCDL
2005
ACM
111views Education» more  JCDL 2005»
15 years 11 months ago
Developing practical automatic metadata assignment and evaluation tools for internet resources
This paper describes the development of practical automatic metadata assignment tools to support automatic record creation for virtual libraries, metadata repositories and digital...
Gordon W. Paynter