5227 search results - page 972 / 1046 » Constructing New Media |
182
click to vote
STORAGESS
2005
ACM
16 years 10 days ago
2005
ACM
Recently, the Network-Attached Secure Disk (NASD) model has become a more widely used technique for constructing large-scale storage systems. However, the security system proposed...
183
click to vote
APN
2005
Springer
16 years 10 days ago
2005
Springer
The topic of process mining has attracted the attention of both researchers and tool vendors in the Business Process Management (BPM) space. The goal of process mining is to discov...
190
click to vote
ATAL
2005
Springer
16 years 10 days ago
2005
Springer
Emergent processes are non-routine, collaborative business processes whose execution is guided by the knowledge that emerges during a process instance. In so far as the process go...
166
click to vote
CAV
2005
Springer
16 years 10 days ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
235
click to vote
CAV
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...