10038 search results - page 1863 / 2008 » Model Checking for Managers |
183
Voted
GIS
2002
ACM
15 years 3 months ago
2002
ACM
Vector data represents one major category of data managed by GIS. This paper presents a new technique for vector-data display that is able to precisely and efficiently map vector ...
151
click to vote
COMCOM
1998
15 years 3 months ago
1998
Although distributed object computing has developed rapidly over the past decade, and is now becoming commercially important, there remain key application areas inadequately suppo...
124
click to vote
IJFCS
1998
15 years 3 months ago
1998
Directed acyclic graphs (dags) are often used to model circuits. Path lengths in such dags represent circuit delays. In the vertex splitting problem, the objective is to determine...
124
click to vote
NAR
1998
15 years 3 months ago
1998
We have continued to develop MITOMAP (http://www.gen.emory.edu/MITOMAP ), a comprehensive database for the human mitochondrial DNA (mtDNA). MITOMAP uses the mtDNA sequence as the ...
150
click to vote
PE
2002
Springer
15 years 3 months ago
2002
Springer
We present procedures and tools for the analysis of network traffic measurements. The tools consist of stand-alone 1 modules that implement advanced statistical analysis procedure...