431 search results - page 44 / 87 » A Case Study of Distributed, Asynchronous Software Inspectio... |
WWW
2004
ACM
14 years 8 months ago
2004
ACM
For most Web-based applications, contents are created dynamically based on the current state of a business, such as product prices and inventory, stored in database systems. These...
SCFBM
2008
13 years 7 months ago
2008
Modern life sciences research increasingly relies on computational solutions, from large scale data analyses to theoretical modeling. Within the theoretical models Boolean network...
ISORC
2005
IEEE
14 years 1 months ago
2005
IEEE
EarlGray is a component-based Java virtual machine (JVM) that can be configured to satisfy various kinds of requirements for building future information appliances and embedded s...
FOSSACS
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. The reachability analysis of recursive programs that communicate asynchronously over reliable Fifo channels calls for restrictions to ensure decidability. We extend here ...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
We describe SAFIUS, a secure accountable file system that resides over an untrusted storage. SAFIUS provides strong security guarantees like confidentiality, integrity, prevention ...