1399 search results - page 264 / 280 » A Pattern for Secure Graphical User Interface Systems |
109
Voted
ICSE
1999
IEEE-ACM
15 years 4 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
AOSD
2006
ACM
15 years 5 months ago
2006
ACM
When modifying or debugging a software system, among other tasks, developers must often understand and manipulate source code that crosscuts the system’s structure. These tasks ...
GECCO
2007
Springer
15 years 5 months ago
2007
Springer
Engineering design increasingly uses computer simulation models coupled with optimization algorithms to find the best design that meets the customer constraints within a time con...
ACMDIS
2006
ACM
15 years 5 months ago
2006
ACM
Recent research suggests design pre-patterns, structured collections of evidence-based research and design knowledge, provide a useful resource for design activities in emerging a...
91
Voted
MIR
2003
ACM
15 years 5 months ago
2003
ACM
This paper proposes a method to automatically extract highlight scenes from sports (baseball) live video in real time and to allow users to retrieve them. For this purpose, sophis...