9626 search results - page 1503 / 1926 » Invariant Based Programming |
208
click to vote
DOCENG
2010
ACM
15 years 8 months ago
2010
ACM
Building authoring applications is a tedious and complex task that requires a high programming effort. Document technologies, especially XML based ones, can help in reducing such ...
163
click to vote
GG
2008
Springer
15 years 8 months ago
2008
Springer
A variety of computation models have been developed using graphs and graph transformations. These include models for sequential, distributed, parallel or mobile computation. A grap...
192
click to vote
CCS
2010
ACM
15 years 7 months ago
2010
ACM
Attackers often take advantage of vulnerabilities in benign software, and the authors of benign software must search their code for bugs in hopes of finding vulnerabilities before...
151
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: Chromosomal replication is the central event in the bacterial cell cycle. Identification of replication origins (oriCs) is necessary for almost all newly sequenced bac...
187
click to vote
CGF
2008
15 years 7 months ago
2008
Depth and visual hulls are useful for quick reconstruction and rendering of a 3D object based on a number of reference views. However, for many scenes, especially multi-object, th...