7918 search results - page 1568 / 1584 » Model Composition Directives |
132
click to vote
ANOR
2004
15 years 8 days 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...
110
click to vote
ASE
2002
15 years 8 days 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...
BMCBI
2004
15 years 8 days 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...
116
click to vote
CANDC
2004
ACM
15 years 8 days 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...
COMPUTER
2002
15 years 7 days 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...