137 search results - page 27 / 28 » A Practical Formal Model for Safety Analysis in Capability-B... |
GIL
2009
13 years 4 months ago
2009
Abstract: We have surveyed three molecular biology labs in Germany and Vietnam to evaluate practical problems in the management of molecular genetics data. These labs are generatin...
CSCW
2004
ACM
13 years 12 months ago
2004
ACM
Researchers seeking alternatives to traditional desktop computers have begun exploring the potential collaborative benefits of digital tabletop displays. However, there are still ...
HICSS
2012
IEEE
12 years 2 months ago
2012
IEEE
—Real-time access to key performance indicators is necessary to ensure timeliness and effectiveness of operational business processes. The concept of Business Activity Monitoring...
CCS
2005
ACM
13 years 12 months ago
2005
ACM
Vulnerabilities that allow worms to hijack the control flow of each host that they spread to are typically discovered months before the worm outbreak, but are also typically disc...
CAV
2005
Springer
13 years 12 months 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...