6047 search results - page 814 / 1210 » Modeling with Extend |
186
click to vote
HASE
1999
IEEE
15 years 11 months ago
1999
IEEE
The state of the art in verifying the real-time requirements of applications developed using general processing graph models relies on simulation or off-line scheduling. We extend...
161
click to vote
CAISE
2009
Springer
15 years 10 months ago
2009
Springer
Mapping specification has been recognised as a critical bottleneck to the large scale deployment of data integration systems. A mapping is a description using which data structured...
182
click to vote
ERCIMDL
2010
Springer
15 years 8 months ago
2010
Springer
Invenio is the web-based integrated digital library system developed at CERN. Within this framework, we present four types of ranking models based on the citation graph that comple...
193
click to vote
GISCIENCE
2010
Springer
15 years 8 months ago
2010
Springer
Regions which evolve over time are a significant aspect of many phenomena in geographic information science. Examples include areas in which a measured value (e.g. temperature, sal...
173
click to vote
ALGORITHMICA
2010
15 years 7 months ago
2010
In this paper, we give a lower bound of (n(d-1)/2 ) on the quantum query complexity for finding a fixed point of a discrete Brouwer function over grid [1 : n]d . Our bound is near...