16725 search results - page 572 / 3345 » Engineering Software Correctness |
192
click to vote
EUROSYS
2007
ACM
15 years 11 months ago
2007
ACM
This paper is concerned with performance debugging of multitier applications, such as commonly found in servers and dynamic-content web sites. Existing tools and techniques for pr...
264
click to vote
FATES
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. More and more software systems use a browser as the universal graphical user interface. As a consequence these applications inherit browser navigation as part of their in...
219
click to vote
AADEBUG
2005
Springer
15 years 9 months ago
2005
Springer
In a C compiler, function calls are difficult to implement correctly because they must respect a platform-specific calling convention. But they are governed by a simple invariant...
211
click to vote
AVI
2004
15 years 8 months ago
2004
In a navigation-oriented interaction paradigm, such as desktop, mixed and augmented virtual reality, recognizing the user needs is a valuable improvement, provided that the system...
197
click to vote
ECSA
2010
Springer
15 years 7 months ago
2010
Springer
Security metrics are the tools for providing correct and upto-date information about a state of security. This information is essential for managing security efficiently. Although...