2748 search results - page 349 / 550 » Generating Object-Z Specifications from Use Cases |
138
click to vote
GEOS
2007
Springer
15 years 10 months ago
2007
Springer
SDIs offer access to a wealth of distributed data sources through standardised service interfaces. Recently, also geoprocessing capabilities are offered as services in SDIs. Combin...
162
click to vote
JMLR
2008
15 years 4 months ago
2008
Pointwise consistent, feasible procedures for estimating contemporaneous linear causal structure from time series data have been developed using multiple conditional independence ...
132
click to vote
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...
139
click to vote
EGH
2009
Springer
15 years 2 months ago
2009
Springer
High fidelity rendering via ray tracing requires tracing incoherent rays for global illumination and other secondary effects. Recent research show that the performance benefits fr...
158
click to vote
ISCA
2011
IEEE
14 years 8 months ago
2011
IEEE
A growing body of work has compiled a strong case for the single-ISA heterogeneous multi-core paradigm. A single-ISA heterogeneous multi-core provides multiple, differently-design...