2518 search results - page 386 / 504 » Using Communication Objects During Requirements Analysis |
182
click to vote
ACSAC
2001
IEEE
15 years 10 months ago
2001
IEEE
The security of electronic payment protocols is of interest to researchers in academia and industry. While the ultimate objective is the safest and most secure protocol, convenien...
165
click to vote
ICST
2009
IEEE
16 years 29 days ago
2009
IEEE
GEGICK, MICHAEL CHARLES. Predicting Attack-prone Components with Source Code Static Analyzers. (Under the direction of Laurie Williams). No single vulnerability detection techniqu...
205
click to vote
LICS
2009
IEEE
16 years 28 days ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
132
click to vote
SEMWEB
2009
Springer
16 years 25 days ago
2009
Springer
Abstract. For some years now ontologies have been used in Social Science, e.g. , in annotation of newspaper articles for disambiguating concepts within Media Analysis. These ontolo...
198
click to vote
HICSS
1996
IEEE
15 years 10 months ago
1996
IEEE
The venerable problem solving technique of simulation finds itself inthe midstof a revolution. Where once it was regarded as a "technique of last resort" for systems ana...