325 search results - page 33 / 65 » A new large projection operator for the redundancy framework |
SIGSOFT
2010
ACM
13 years 6 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...
ACSAC
2003
IEEE
14 years 1 months ago
2003
IEEE
When computer security violations are detected, computer forensic analysts attempting to determine the relevant causes and effects are forced to perform the tedious tasks of find...
SIGMOD
2005
ACM
14 years 8 months ago
2005
ACM
We demonstrate a prototype of the relational data mapping module of MIQIS, a formal framework for investigating information flow in peer-to-peer database management systems. Data ...
VVS
1995
IEEE
14 years 1 hour ago
1995
IEEE
We introduce a framework for texturing volumetric objects with displacement maps and texture maps, which are introduced as volume modeling tools. In this framework, an implicit-to...
ECMDAFA
2006
Springer
14 years 4 days ago
2006
Springer
Abstract. Design patterns are templates of general solutions to commonlyoccurring problems in the analysis and design of software systems. In mature development processes, engineer...