7918 search results - page 1568 / 1584 » Model Composition Directives |
157
Voted
ANOR
2004
15 years 2 months ago
2004
The aim of Air Traffic Flow Management (ATFM) is to enhance the capacity of the airspace while satisfying Air Traffic Control constraints and airlines requests to optimize their o...
132
Voted
ASE
2002
15 years 2 months ago
2002
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...
115
click to vote
BMCBI
2004
15 years 2 months ago
2004
Background: Modern biological research makes possible the comprehensive study and development of heritable mutations in the mouse model at high-throughput. Using techniques spanni...
140
Voted
CANDC
2004
ACM
15 years 2 months ago
2004
ACM
Genomic analyses on part of Escherichia coli's chromosome had suggested the existence of a GATC regulated network. This has recently been confirmed through a transcriptome an...
112
Voted
COMPUTER
2002
15 years 2 months ago
2002
wever, by using a simple model of abstract building blocks: quantum bits, gates, and algorithms, and the available implementation technologies--in all their imperfections.7 The bas...