7318 search results - page 1111 / 1464 » Models of real-valued measurability |
240
click to vote
JELIA
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. A new logic is proposed for reasoning about quantum systems. The logic embodies the postulates of quantum physics and it was designed from the semantics upwards by identi...
177
click to vote
INFOCOM
2003
IEEE
16 years 5 days ago
2003
IEEE
— We analyze the susceptibility of the Internet to random faults, malicious attacks, and mixtures of faults and attacks. We analyze actual Internet data, as well as simulated dat...
141
click to vote
ISCAS
2003
IEEE
16 years 4 days ago
2003
IEEE
In this paper, we study the effectiveness of the multilevel paradigm in considerably reducing the diagnosis latency of distributed algorithms for fault detection in networks with ...
206
click to vote
ATAL
2003
Springer
16 years 3 days ago
2003
Springer
We apply the multi-agent system (MAS) platform to the task of biological network simulation. In this paper, we describe the simulation of signal transduction (ST) networks using t...
204
click to vote
SIGMOD
2010
ACM
15 years 11 months ago
2010
ACM
Edit distance based string similarity join is a fundamental operator in string databases. Increasingly, many applications in data cleaning, data integration, and scientific compu...