3792 search results - page 659 / 759 » Techniques for Trusted Software Engineering |
106
click to vote
ISSRE
2006
IEEE
15 years 6 months ago
2006
IEEE
BPEL is a language that could express complex concurrent behaviors. This paper presents a novel method of BPEL test case generation, which is based on concurrent path analysis. Th...
93
Voted
UIST
2006
ACM
15 years 6 months ago
2006
ACM
This article describes SwingStates, a library that adds state machines to the Java Swing user interface toolkit. Unlike traditional approaches, which use callbacks or listeners to...
101
click to vote
ICFEM
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
99
Voted
UIST
2003
ACM
15 years 5 months ago
2003
ACM
Recent work is beginning to reveal the potential of numerical optimization as an approach to generating interfaces and displays. Optimization-based approaches can often allow a mi...
95
Voted
UIST
2003
ACM
15 years 5 months ago
2003
ACM
Thumbnail images provide users of image retrieval and browsing systems with a method for quickly scanning large numbers of images. Recognizing the objects in an image is important...