522 search results - page 68 / 105 » Distributed and Structured Analysis Approaches to Study Larg... |
PAMI
2012
12 years 25 days ago
2012
—The widespread deployment of Automated Fingerprint Identification Systems (AFIS) in law enforcement and border control applications has heightened the need for ensuring that the...
CADE
2009
Springer
14 years 11 months ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
BMCBI
2006
13 years 10 months ago
2006
Background: Successful realization of a "systems biology" approach to analyzing cells is a grand challenge for our understanding of life. However, current modeling appro...
RTSS
2002
IEEE
14 years 3 months ago
2002
IEEE
Feasibility analysis of fixed priority systems has been widely studied in the real-time literature and several acceptance tests have been proposed to guarantee a set of periodic ...
ISORC
2005
IEEE
14 years 4 months ago
2005
IEEE
Depending on the physical structuring of large distributed safety-critical real-time systems, one can distinguish federated and integrated system architectures. The DECOS architec...