4719 search results - page 740 / 944 » Newtonian program analysis |
131
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The primary mission of UniProt is to support biological research by maintaining a stable, comprehensive, fully classified, richly and accurately annotated protein sequenc...
195
Voted
AOSD
2011
ACM
15 years 2 days ago
2011
ACM
Software systems are increasingly being built as compositions of reusable artifacts (components, frameworks, toolkits, plug-ins, APIs, etc) that have non-trivial usage constraints...
150
click to vote
CDC
2010
IEEE
15 years 1 days ago
2010
IEEE
FAA's NextGen program aims at increasing the capacity of the national airspace, while ensuring the safety of aircraft. This paper provides a distributed merging and spacing al...
175
click to vote
NFM
2011
14 years 12 months ago
2011
Abstract. We present a new open source model checker, opaal, for automatic verification of models using lattice automata. Lattice automata allow the users to incorporate abstracti...
146
Voted
NAR
2010
14 years 11 months ago
2010
ALTER is an open web-based tool to transform between different multiple sequence alignment formats. The originality of ALTER lies in the fact that it focuses on the specifications...