715 search results - page 37 / 143 » Automatic Programming for Sequence Control |
158
click to vote
RSP
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
130
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
Instance based locality optimization 6 is a semi automatic program restructuring method that reduces the number of cache misses. The method imitates the human approach of consideri...
138
click to vote
FROCOS
2007
Springer
15 years 10 months ago
2007
Springer
Web services send and receive messages in XML syntax with some parts hashed, encrypted or signed, according to the WS-Security standard. In this paper we introduce a model to forma...
136
click to vote
IVC
2006
15 years 4 months ago
2006
A motion detection and tracking algorithm for human and car activity surveillance is presented and evaluated by using the Pets'2000 test sequence. Proposed approach uses a te...
151
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Comparative prediction of RNA structures can be used to identify functional noncoding RNAs in genomic screens. It was shown recently by Babak et al. [BMC Bioinformatic...