4880 search results - page 598 / 976 » Mechanism Design by Creditability |
187
click to vote
KBSE
2005
IEEE
16 years 11 days ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
166
click to vote
ACMACE
2005
ACM
16 years 11 days ago
2005
ACM
Despite the ever increasing popularity of handheld, networked gaming consoles, fully interactive real-time, multiplayer games designed for these platforms have yet to become a rea...
157
click to vote
HT
2005
ACM
16 years 11 days ago
2005
ACM
Vannevar Bush proposed the memex as a means to support building knowledge in the way he says the human brain works: by association. Achieving this vision has been a core motivatio...
171
click to vote
MSWIM
2005
ACM
16 years 10 days ago
2005
ACM
The substitution of ATM transport by IP in future UMTS Radio Access Networks (UTRAN) introduces several performance challenges that need to be addressed to guarantee the feasibili...
155
click to vote
SC
2005
ACM
16 years 10 days ago
2005
ACM
The GridFTP extensions to the File Transfer Protocol define a general-purpose mechanism for secure, reliable, high-performance data movement. We report here on the Globus striped ...