3081 search results - page 460 / 617 » A Formal Ontology of Properties |
190
click to vote
CARDIS
2008
Springer
15 years 8 months ago
2008
Springer
We investigate an application of RFIDs referred to in the literature as group scanning, in which several tags are "simultaneously" scanned by a reader device. Our goal is...
188
click to vote
CISC
2008
Springer
15 years 8 months ago
2008
Springer
The notion of anonymous signatures has recently been formalized by [18], which captures an interesting property that a digital signature can sometimes hide the identity of the sign...
155
click to vote
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
- We address the problem of implication of assertion graphs that occur in generalized symbolic trajectory evaluation (GSTE). GSTE has demonstrated its powerful capacity in formal v...
162
click to vote
COMPSAC
2008
IEEE
15 years 8 months ago
2008
IEEE
The formal specification of design patterns is widely recognised as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
187
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
In some application domains, such as medical imaging, the objects that compose the scene are known as well as some of their properties and their spatial arrangement. We can take ad...