2846 search results - page 280 / 570 » A Software Performance Engineering Tool based on the UML-SPT |
157
click to vote
APSEC
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper we demonstrate how light weight tools can be used to increase the level of confidence in Z specifications. In particular we outline the Pipedream approach to explori...
224
click to vote
ICST
2011
IEEE
14 years 10 months ago
2011
IEEE
User input validation is a technique to counter attacks on web applications. In typical client-server architectures, this validation is performed on the client side. This is ineff...
192
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
A replay tool aiming to reproduce a program's execution interposes itself at an appropriate replay interface between the program and the environment. During recording, it log...
202
click to vote
EUROSYS
2007
ACM
16 years 3 months ago
2007
ACM
Two oft-cited file systems, the Fast File System (FFS) and the Log-Structured File System (LFS), adopt two sharply different update strategies—update-in-place and update-out-of-...
208
Voted
PAMI
2012
13 years 9 months ago
2012
—Model updating is a critical problem in tracking. Inaccurate extraction of the foreground and background information in model adaptation would cause the model to drift and degra...