888 search results - page 145 / 178 » The Power of Temporal Proofs |
174
click to vote
MSWIM
2009
ACM
16 years 24 days ago
2009
ACM
Most people-centric delay tolerant networks have been shown to exhibit power-law behavior. Analysis of the temporal connectivity graph of such networks reveals the existence of hu...
148
click to vote
VMCAI
2009
Springer
16 years 23 days ago
2009
Springer
—A variety of partial modeling formalisms, aimed re and reason about abstractions, have been proposed. Some, e.g., Kripke Modal Transition Systems (KMTSs) put strong restrictions...
139
click to vote
GLVLSI
2009
IEEE
16 years 22 days ago
2009
IEEE
In the context of formal verification Bounded Model Checking (BMC) has shown to be very powerful for large industrial designs. BMC is used to check whether a circuit satisfies a...
157
click to vote
CONCUR
2009
Springer
16 years 17 days ago
2009
Springer
Abstract. We introduce model-checking games that allow local secondorder power on sets of independent transitions in the underlying partial order models where the games are played....
171
click to vote
CISS
2008
IEEE
16 years 14 days ago
2008
IEEE
—Beyond signal processing applications, frames are also powerful tools for modeling the sensing and information processing of many biological and man-made systems that exhibit in...