715 search results - page 37 / 143 » Automatic Programming for Sequence Control |
134
click to vote
RSP
2007
IEEE
15 years 8 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...
108
click to vote
IPPS
1999
IEEE
15 years 6 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...
115
click to vote
FROCOS
2007
Springer
15 years 8 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...
119
click to vote
IVC
2006
15 years 1 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...
129
click to vote
BMCBI
2008
15 years 2 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...