10159 search results - page 1906 / 2032 » System Design Validation Using Formal Models |
PERCOM
2008
ACM
13 years 8 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...
SACMAT
2011
ACM
12 years 11 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ļ¬...
IACR
2011
12 years 7 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...
FPGA
2007
ACM
14 years 2 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...
WIKIS
2005
ACM
14 years 1 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...