1636 search results - page 144 / 328 » Reasoning About Quantum Systems |
192
click to vote
CONCUR
2012
Springer
13 years 8 months ago
2012
Springer
Simulation and Abstraction Guy Avni and Orna Kupferman School of Computer Science and Engineering, Hebrew University, Israel Weighted automata map input words to real numbers and a...
169
click to vote
ATAL
2009
Springer
16 years 28 days ago
2009
Springer
Trust is a crucial basis for interactions among parties in large, open systems. Yet, the scale and dynamism of such systems make it infeasible for each party to have a direct basi...
158
click to vote
ISPW
2005
IEEE
15 years 12 months ago
2005
IEEE
Since different systems have different success-critical stakeholders, and these stakeholders depend on the system in different ways, using traditional one-size-fits-all dependabili...
161
click to vote
HPDC
2002
IEEE
15 years 11 months ago
2002
IEEE
Error propagation is a central problem in grid computing. We re-learned this while adding a Java feature to the Condor computational grid. Our initial experience with the system w...
196
click to vote
ICCS
2007
Springer
15 years 10 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...