164 search results - page 29 / 33 » Formal Device and Programming Model for a Serial Interface |
126
Voted
CADE
2005
Springer
16 years 2 months ago
2005
Springer
In today's society, people have very little control over what kinds of personal data are collected and stored by various agencies in both the private and public sectors. We de...
116
click to vote
OOPSLA
2005
Springer
15 years 8 months ago
2005
Springer
Micro patterns are similar to design patterns, except that micro patterns stand at a lower, closer to the implementation, level of abstraction. Micro patterns are also unique in t...
114
Voted
CCS
2007
ACM
15 years 8 months ago
2007
ACM
Recently, a universally composable framework for RFID authentication protocols providing availability, anonymity, and authenticity was proposed. In this paper we extend that frame...
154
click to vote
CASES
2007
ACM
15 years 6 months ago
2007
ACM
Instruction Set Simulators (ISSes) are important tools for cross-platform software development. The simulation speed is a major concern and many approaches have been proposed to i...
149
Voted
LCTRTS
2010
Springer
15 years 13 days ago
2010
Springer
Concurrent Action-Oriented Specifications (CAOS) model the behavior of a synchronous hardware circuit as asynchronous guarded at an abstraction level higher than the Register Tran...