Sciweavers

582 search results - page 71 / 117
» Case Study On Social Engineering Techniques for Persuasion
Sort
View
FM
2003
Springer
115views Formal Methods» more  FM 2003»
15 years 11 months ago
Model Checking FTA
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...
Andreas Thums, Gerhard Schellhorn
UIST
2005
ACM
15 years 11 months ago
Preference elicitation for interface optimization
Decision-theoretic optimization is becoming a popular tool in the user interface community, but creating accurate cost (or utility) functions has become a bottleneck — in most c...
Krzysztof Gajos, Daniel S. Weld
CGO
2010
IEEE
16 years 1 months ago
Towards program optimization through automated analysis of numerical precision
Reducing the arithmetic precision of a computation has real performance implications, including increased speed, decreased power consumption, and a smaller memory footprint. For s...
Michael D. Linderman, Matthew Ho, David L. Dill, T...
APSEC
2009
IEEE
15 years 9 months ago
Sequence Diagram Slicing
Software visualization with sequence diagrams is one of the promising techniques aimed at helping developers comprehend the behavior of object-oriented systems effectively. However...
Kunihiro Noda, Takashi Kobayashi, Kiyoshi Agusa, S...
SAC
2004
ACM
15 years 11 months ago
Improving courseware quality through life-cycle encompassing quality assurance
The quality of courseware development is affected by four factors: content and instructional issues; management; technical and graphical issues; and concerns of the customer. In ...
Ines Grützner, Stephan Weibelzahl, Patrick E....