7693 search results - page 1153 / 1539 » Design and Implementation of the FRIENDS System |
181
click to vote
MICRO
2008
IEEE
16 years 1 months ago
2008
IEEE
Heavyweight security analysis systems, such as taint analysis and dynamic type checking, are powerful technologies used to detect security vulnerabilities and software bugs. Tradi...
178
click to vote
FOSSACS
2005
Springer
16 years 10 days ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
166
click to vote
CCS
2004
ACM
16 years 6 days ago
2004
ACM
Intranet access has become an essential function for corporate users. At the same time, corporation’s security administrators have little ability to control access to corporate ...
230
click to vote
MMDB
2003
ACM
16 years 2 days ago
2003
ACM
The increased use of video data sets for multimedia-based applications has created a demand for strong video database support, including efficient methods for handling the content...
204
Voted
ICSOC
2009
Springer
15 years 11 months ago
2009
Springer
Publish/subscribe messaging is a fundamental mechanism for interconnecting disparate services and systems in the service-oriented computing architecture. The quality of services (Q...