888 search results - page 32 / 178 » The Power of Temporal Proofs |
TWC
2010
14 years 4 months ago
2010
Abstract--In this paper we investigate the opportunistic spectrum access in temporal domain where a secondary user shares a radio channel with a primary user during the OFF period ...
FMOODS
2003
14 years 11 months ago
2003
Abstract. Inheritance is one of the key features for the success of objectoriented languages. Inheritance (or specialisation) supports incremental design and re-use of already writ...
CORR
2011
Springer
14 years 4 months ago
2011
Springer
Three essential criteria are important for activity planning, including: (1) finding a group of attendees familiar with the initiator, (2) ensuring each attendee in the group to ...
ISAAC
2003
Springer
15 years 2 months ago
2003
Springer
This paper introduces quantum “multiple-Merlin”-Arthur proof systems in which Arthur receives multiple quantum proofs that are unentangled with each other. Although classical ...
POPL
2012
ACM
13 years 5 months ago
2012
ACM
Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...