3971 search results - page 133 / 795 » On the Use of Properties in Java Applications |
117
click to vote
ACSAC
2006
IEEE
15 years 11 months ago
2006
IEEE
Security-typed languages are an evolving tool for implementing systems with provable security guarantees. However, to date, these tools have only been used to build simple “toy...
153
click to vote
PPOPP
1999
ACM
15 years 9 months ago
1999
ACM
The use of threads is becoming commonplace in both sequential and parallel programs. This paper describes our design and initial experience with non-trace based performance instru...
136
click to vote
FORTE
2004
15 years 6 months ago
2004
In this paper, we present an approach for modeling an existing web application using communicating finite automata model based on the userdefined properties to be validated. We ela...
148
click to vote
ICASSP
2007
IEEE
15 years 11 months ago
2007
IEEE
The problem of shape-based recognition of objects under affine transformations is considered. We focus on the construction of a robust and highly discriminative affine invariant...
139
click to vote
EHCI
2001
15 years 6 months ago
2001
We present a way of analyzing sensed context information formulated to help in the generation, documentation and assessment of the designs of context-aware applications. Starting w...