1664 search results - page 116 / 333 » Towards Partial Reasoning |
154
click to vote
ICCS
2007
Springer
15 years 7 months ago
2007
Springer
In e-Science, scientific workflow systems are used to share data and knowledge in collaborative experiments. In recent work we discussed the concepts of a workflow bus [1], allowin...
138
click to vote
DELTA
2004
IEEE
15 years 7 months ago
2004
IEEE
Systems-on-Chip (SoCs) are heterogeneous by nature as they may integrate digital, analog, RF hardware as well as software components or non electrical parts such as sensors or act...
149
click to vote
DIAGRAMS
2004
Springer
15 years 7 months ago
2004
Springer
Constraint diagrams are a diagrammatic notation which may be used to express logical constraints. They were designed to complement the Unified Modeling Language in the development ...
128
click to vote
DSOM
2006
Springer
15 years 7 months ago
2006
Springer
This paper proposes an open, extensible control plane for a global event service, based on semantically rich messages. This is based on the novel application of control plane separ...
149
click to vote
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
Adaptive Random Testing subsumes a class of algorithms that detect the first failure with less test cases than Random Testing. The present paper shows that a "reference metho...