6978 search results - page 284 / 1396 » Reframing Requirements Analysis |
186
click to vote
TACAS
2007
Springer
16 years 23 days ago
2007
Springer
We describe a new algorithm for analysing security protocols that use XOR, such as key-management APIs. As a case study, we consider the IBM 4758 CCA API, which is widely used in t...
159
click to vote
DATE
2006
IEEE
16 years 21 days ago
2006
IEEE
NoC architectures can be adopted to support general communications among multiple IPs over multi-processor Systems on Chip (SoCs). In this work we illustrate the modeling and simu...
161
click to vote
ICPPW
2006
IEEE
16 years 21 days ago
2006
IEEE
This paper presents an analysis on the performance of a parallel implementation of a discrete model of laser dynamics, which is based on cellular automata. The performance of a 2D...
182
click to vote
IWCMC
2006
ACM
16 years 18 days ago
2006
ACM
In this paper, We mathematically model the In-Range localization scheme in the presence of a Mobile Beacon. In the In-Range localization scheme, a sensor with unknown location is ...
156
click to vote
APSEC
2005
IEEE
16 years 8 days ago
2005
IEEE
Web Services together with Service-Oriented Architectures (SOA) are playing an important role in the future of distributed computing, significantly impacting software development ...