10159 search results - page 1906 / 2032 » System Design Validation Using Formal Models |
148
click to vote
PERCOM
2008
ACM
15 years 2 months ago
2008
ACM
Integrating p2p services in multi-hop ad hoc networks is today a hot topic. General multi-hop , and pervasive systems in particular, can greatly benefit from high-level middleware...
258
click to vote
SACMAT
2011
ACM
14 years 5 months ago
2011
ACM
In this paper, we present an approach for identity and access management (IAM) in the context of (cross-organizational) serviceoriented architectures (SOA). In particular, we deļ¬...
147
Voted
IACR
2011
14 years 1 months ago
2011
Abstract. Radio Frequency Identiļ¬cation (RFID) systems are vulnerable to relay attacks (i.e., maļ¬a, terrorist and distance frauds) when they are used for authentication purpose...
136
Voted
FPGA
2007
ACM
15 years 8 months ago
2007
ACM
Chip-multiprocessors are quickly gaining momentum in all segments of computing. However, the practical success of CMPs strongly depends on addressing the diļ¬culty of multithread...
141
click to vote
WIKIS
2005
ACM
15 years 7 months ago
2005
ACM
Good documentation beneļ¬ts every software development project, especially large ones, but it can be hard, costly, and tiresome to produce when not supported by appropriate tools...