127
click to vote
FC
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Secure login methods based on human cognitive skills can be classified into two categories based on information available to a passive attacker: (i) the attacker fully ob...
123
click to vote
FASE
2010
Springer
15 years 8 months ago
2010
Springer
Services provide access to software components that can be discovered dynamically via the Internet. The increasing number of services a requesters may be able to use demand support...
132
click to vote
FASE
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. The problem of interpreting the results of software performance analysis is very critical. Software developers expect feedbacks in terms of architectural design alternati...
112
Voted
FASE
2010
Springer
15 years 8 months ago
2010
Springer
Runtime assertion checking is useful for debugging programs and specifications. Existing tools check invariants as well as method preand postconditions, but mostly ignore assignabl...
116
Voted
FASE
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. In this paper, we present an automata-theoretic approach to Hardware/Software (HW/SW) co-verification. We designed a co-specification framework describing HW/SW systems; ...