827 search results - page 33 / 166 » Patterns for Timed Property Specifications |
101
click to vote
HICSS
2007
IEEE
15 years 8 months ago
2007
IEEE
The ability to detect fragments of deleted image files and to reconstruct these image files from all available fragments on disk is an important activity in the field of digital f...
102
click to vote
ALGORITHMICA
2010
15 years 2 months ago
2010
We present a universal algorithm for the classical online problem of caching or demand paging. We consider the caching problem when the page request sequence is drawn from an unkn...
126
Voted
JCB
2007
15 years 1 months ago
2007
We developed a dynamic programming approach of computing common sequence structure patterns among two RNAs given their primary sequences and their secondary structures. Common pat...
CORR
2008
Springer
15 years 2 months ago
2008
Springer
: This technical report details a family of time warp distances on the set of discrete time series. This family is constructed as an editing distance whose elementary operations ap...
142
click to vote
JSW
2006
15 years 1 months ago
2006
Abstract-- Leveraging service oriented programming paradigm would significantly affect the way people build software systems. However, to achieve this goal a solid software design ...