1261 search results - page 125 / 253 » A Hierarchy of Temporal Properties |
ENTCS
2007
13 years 10 months ago
2007
A compiler optimization is sound if the optimized program that it produces is semantically equivalent to the input program. The proofs of semantic equivalence are usually tedious....
APAL
2005
13 years 10 months ago
2005
Dynamic Topological Logic provides a context for studying the confluence of the topological semantics for S4, based on topological spaces rather than Kripke frames; topological dy...
ICCV
2009
IEEE
15 years 3 months ago
2009
IEEE
Given an arbitrary image, our goal is to segment all distinct
texture subimages. This is done by discovering distinct,
cohesive groups of spatially repeating patterns, called tex...
DSN
2004
IEEE
14 years 1 months ago
2004
IEEE
The growing interest in ad hoc wireless network applications that are made of large and dense populations of lightweight system resources calls for scalable approaches to fault to...
JCP
2006
13 years 10 months ago
2006
In this paper, we discuss a general methodology for analysis and modeling of trust relationships in distributed computing. We discuss the classification of trust relationships, cat...