10038 search results - page 309 / 2008 » Model Checking for Managers |
166
click to vote
BPM
2007
Springer
15 years 10 months ago
2007
Springer
Events are becoming more and more important for companies as an instrument of marketing communication. Event management is an interdisciplinary task field, addressed in the most di...
206
click to vote
POPL
1999
ACM
15 years 11 months ago
1999
ACM
An increasing number of systems rely on programming language technology to ensure safety and security of low-level code. Unfortunately, these systems typically rely on a complex, ...
217
click to vote
SCS
2004
15 years 8 months ago
2004
Industry is increasingly adopting software and system safety standards that mandate the use of hazard logs in the development and operation of safety critical systems. Hazard logs...
155
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: For the past few years, scientific controversy has surrounded the large number of errors in forensic and literature mitochondrial DNA (mtDNA) data. However, recent res...
179
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
In the field of access control, delegation is an important aspect that is considered as a part of the administration mechanism. Thus, a complete access control must provide a flex...