4972 search results - page 680 / 995 » Ranking on graph data |
187
click to vote
FPL
1999
Springer
15 years 11 months ago
1999
Springer
Although verification and simulation tools are always improving, the results they provide remain hard to analyze and interpret. On one hand, verification sticks to the functional ...
165
click to vote
ICCAD
1994
IEEE
15 years 10 months ago
1994
IEEE
We present an improved data model that reflects the whole VLSI design process including bottom-up and topdown design phases. The kernel of the model is a static version concept th...
296
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
Scientific workflows have gained great momentum in recent years due to their critical roles in e-Science and cyberinfrastructure applications. However, some tasks of a scientific w...
176
click to vote
BPM
2006
Springer
15 years 10 months ago
2006
Springer
Composition languages like BPEL and many enactment tools only support structured process models, while most composition approaches only consider unstructured models. In this paper,...
177
click to vote
ERSHOV
2006
Springer
15 years 10 months ago
2006
Springer
We present an approach to support the evolution of online, distributed, reusable, and extendable ontologies based on the RDF data model. The approach works on the basis of atomic c...