4052 search results - page 673 / 811 » integration 2007 |
212
Voted
ESCIENCE
2007
IEEE
15 years 10 months ago
2007
IEEE
Provenance management has become increasingly important to support scientific discovery reproducibility, result interpretation, and problem diagnosis in scientific workflow enviro...
194
Voted
EUROSYS
2007
ACM
15 years 10 months ago
2007
ACM
The majority of aspect-oriented middlewares supporting dynamic aspect weaving fail to preserve important safety properties while weaving or unweaving a distributed aspect at runti...
171
click to vote
EXPCS
2007
15 years 10 months ago
2007
XML simplifies data exchange among heterogeneous computers, but it is notoriously verbose and has spawned the development of many XML-specific compressors and binary formats. We p...
187
click to vote
FDL
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract-- Analog and Mixed Signal (AMS) designs are important integrated systems that link digital circuits to the analog world. Following the success of PSL verification methodol...
199
Voted
FROCOS
2007
Springer
15 years 10 months ago
2007
Springer
In the last two decades we have witnessed an impressive advance in the efficiency of propositional satisfiability techniques (SAT), which has brought large and previously-intractab...