232 search results - page 44 / 47 » Asynchronous programming, analysis and testing with state ma... |
ICCL
1998
IEEE
14 years 2 months ago
1998
IEEE
We present a design and implementation of transactions and general-purpose persistence for Java. These additions allow Java programmers to manipulate any Java object using transac...
BIRTHDAY
2010
Springer
14 years 2 months ago
2010
Springer
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...
USS
2008
14 years 3 days ago
2008
Cross-site scripting (XSS) and SQL injection errors are two prominent examples of taint-based vulnerabilities that have been responsible for a large number of security breaches in...
CCS
2010
ACM
13 years 10 months ago
2010
ACM
A web application is a "two-part" program, with its components deployed both in the browser and in the web server. The communication between these two components inevita...
IFIP
2005
Springer
14 years 3 months ago
2005
Springer
Digital forensic investigators are often faced with the task of manually examining a large number of (photographic) images in order to identify potential evidence. The task can be...