Sciweavers

322 search results - page 39 / 65
» Visual Specification of Spatio-Temporal Developments
Sort
View
HASE
2008
IEEE
14 years 2 months ago
A Grammar-Based Reverse Engineering Framework for Behavior Verification
A high assurance system requires both functional and nonfunctional correctness before the system is put into operation. To examine whether a system’s actual performance complies...
Chunying Zhao, Kang Zhang
COOPIS
1996
IEEE
13 years 11 months ago
A Methodology for Building a Data Warehouse in a Scientific Environment
Rational drug design is an example where integrated access to heterogeneous scientific data is urgently needed, as it becomes rapidly available due to new experimental and computa...
Karl Aberer, Klemens Hemm
PAKM
1998
13 years 9 months ago
Knowledge Asset Road Maps
This paper describes how AIAI has used the ideas and techniques behind Technology Road Maps in order to provide a framework for developing Knowledge Asset Road Maps to support kno...
Ann Macintosh, Ian Filby, Austin Tate
BMCBI
2006
131views more  BMCBI 2006»
13 years 7 months ago
inGeno - an integrated genome and ortholog viewer for improved genome to genome comparisons
Background: Systematic genome comparisons are an important tool to reveal gene functions, pathogenic features, metabolic pathways and genome evolution in the era of post-genomics....
Chunguang Liang, Thomas Dandekar
3DGIS
2006
Springer
14 years 1 months ago
3D Navigation for 3D-GIS - Initial Requirements
The needs for three-dimensional (3D) visualization and navigation within 3D-GIS environment are growing and expanding rapidly in a variety of fields. In a steady shift from tradit...
Ivin Amri Musliman, Alias Abdul-Rahman, Volker Coo...