56 search results - page 11 / 12 » A Metamodel for Verifying Institutions |
DGO
2003
13 years 7 months ago
2003
The Internet has become the most frequently accessed medium for obtaining various types of data. In particular, government agencies, academic institutions, and private enterprises...
COMPSEC
2004
13 years 5 months ago
2004
Abstract Up to now biometric methods have been used in cryptography for authentication purposes. In this paper we propose to use biological data for generating sequences of random ...
MA
2010
Springer
13 years 4 months ago
2010
Springer
Quasi-independence is a common assumption for analyzing truncated data. To verify this condition, we consider a class of weighted log-rank type statistics that include existing te...
IHI
2010
13 years 18 days ago
2010
This paper describes a spatial model for healthcare workers' location in a large hospital facility. Such models have many applications in healthcare, such as supporting timea...
EMSOFT
2011
Springer
12 years 5 months ago
2011
Springer
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...