1833 search results - page 97 / 367 » Mechanized Verification with Sharing |
126
Voted
MHCI
2005
Springer
15 years 6 months ago
2005
Springer
As small digital cameras become more popular, opportunities to take photos are rapidly increasing. Photo sharing is a great way to maintain and revitalize relationships between fa...
109
click to vote
ICA3PP
2007
Springer
15 years 7 months ago
2007
Springer
Classification is a kind of basic semantics that people often use to manage versatile contents in daily life. Resource Space Model (RSM) is a semantic model for sharing and managin...
94
Voted
ICCAD
1999
IEEE
15 years 5 months ago
1999
IEEE
In this paper, an internal design model called FunState (functions driven by state machines) is presented that enables the representation of different types of system components a...
103
Voted
BVAI
2007
Springer
15 years 4 months ago
2007
Springer
Face recognition is among the most challenging techniques for personal identity verification. Even though it is so natural for humans, there are still many hidden mechanisms which ...
130
click to vote
ASM
2008
ASM
15 years 2 months ago
2008
ASM
Abstract. The Mondex case study concerns the formal development and verification of an electronic purse protocol. Several groups have worked on its specification and mechanical ver...