247 search results - page 12 / 50 » Development graphs - Proof management for structured specifi... |
107
Voted
ENVSOFT
2002
14 years 11 months ago
2002
Many challenges are associated with the integration of geographic information systems (GISs) with models in specific applications. One of them is adapting models to the environmen...
WSC
1997
15 years 1 months ago
1997
The High Level Architecture (HLA) provides the specification of a common technical architecture for use across all classes of simulations in the US Department of Defense. It provi...
194
click to vote
ICDE
2001
IEEE
16 years 1 months ago
2001
IEEE
Current workflow management technology does not provide adequate means for inter-workflow coordination as concurrently executing workflows are considered completely independent. W...
101
click to vote
ESI
2010
14 years 10 months ago
2010
The recent Heliophysics Virtual Observatory (VxO) effort involves the development of separate observatories with a low overlap in physical domain or area of scientific specializat...
KDD
2006
ACM
16 years 2 days ago
2006
ACM
Frequent coherent subgraphscan provide valuable knowledgeabout the underlying internal structure of a graph database, and mining frequently occurring coherent subgraphs from large...