1527 search results - page 150 / 306 » From Requirements to Design: Formalizing the Key Steps |
172
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—In order to protect privacy, Radio Frequency Identification (RFID) systems employ Privacy-Preserving Authentication (PPA) to allow valid readers to explicitly authenticate their...
170
click to vote
VLSID
2008
IEEE
16 years 7 months ago
2008
IEEE
Protocol conversion involves the use of a converter to control communication between two or more protocols such that desired system-level specifications can be satisfied. We invest...
197
click to vote
JSS
2010
15 years 1 months ago
2010
During software development, architecture decisions should be documented so that quality attributes guaranteed by these decisions and required in the software specification could ...
181
click to vote
ESORICS
2007
Springer
15 years 10 months ago
2007
Springer
We propose the role-and-relation-based access control (R2 BAC) model for workflow systems. In R2 BAC, in addition to a user's role memberships, the user's relationships w...
178
click to vote
SIAMJO
2002
15 years 6 months ago
2002
We study a class of generalized bundle methods for which the stabilizing term can be any closed convex function satisfying certain properties. This setting covers several algorithm...