5255 search results - page 73 / 1051 » Formal Methods for Privacy |
ICSE
2001
IEEE-ACM
14 years 2 months ago
2001
IEEE-ACM
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
ASPLOS
2004
ACM
14 years 3 months ago
2004
ACM
Multiple Clock Domain (MCD) processors are a promising future alternative to today’s fully synchronous designs. Dynamic Voltage and Frequency Scaling (DVFS) in an MCD processor ...
TPHOL
2009
IEEE
14 years 4 months ago
2009
IEEE
MLDM
2009
Springer
14 years 4 months ago
2009
Springer
NCA
2008
IEEE
14 years 4 months ago
2008
IEEE
In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...