1636 search results - page 261 / 328 » Reasoning About Quantum Systems |
184
click to vote
MKM
2009
Springer
16 years 20 days ago
2009
Springer
Methods for deciding quantifier-free non-linear arithmetical conjectures over R are crucial in the formal verification of many realworld systems and in formalised mathematics. Wh...
164
click to vote
RTA
2009
Springer
16 years 20 days ago
2009
Springer
Reasoning about the knowledge of an attacker is a necessary step in many formal analyses of security protocols. In the framework of the applied pi calculus, as in similar languages...
157
click to vote
SIGCOMM
2009
ACM
16 years 19 days ago
2009
ACM
TCP Throughput Collapse, also known as Incast, is a pathological behavior of TCP that results in gross under-utilization of link capacity in certain many-to-one communication patt...
156
click to vote
ISM
2008
IEEE
16 years 16 days ago
2008
IEEE
In the recent years, photo context metadata (e.g., date, GPS coordinates) have been proved to be useful in the management of personal photos. However, these metadata are still poo...
165
click to vote
SSDBM
2008
IEEE
16 years 15 days ago
2008
IEEE
We propose an automatic method for modeling a relational database that uses SQL triggers and foreign-keys to efficiently answer positive semantic queries about ground instances for...