488 search results - page 96 / 98 » ST-Tool: A CASE Tool for Security Requirements Engineering |
IUI
2011
ACM
12 years 10 months ago
2011
ACM
We describe a new sketch recognition framework for chemical structure drawings that combines multiple levels of visual features using a jointly trained conditional random field. ...
GECCO
2006
Springer
13 years 11 months ago
2006
Springer
Evolutionary algorithms have successfully been applied to software testing. Not only approaches that search for numeric test data for procedural test objects have been investigate...
OOPSLA
2004
Springer
14 years 22 days ago
2004
Springer
A proxy object is a surrogate or placeholder that controls access to another target object. Proxies can be used to support distributed programming, lazy or parallel evaluation, ac...
FC
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Starting from algebraic properties that enable guessing lowentropy secrets, we formalize guessing rules for symbolic verification. The rules are suited for both off-line ...
CAI
2002
Springer
13 years 7 months ago
2002
Springer
Grid technology has evolved over the past several years to provide the services and infrastructure needed for building "virtual" systems and organizations. With this Gri...