1988 search results - page 375 / 398 » Engineering formal metatheory |
MEDIAFORENSICS
2010
13 years 7 months ago
2010
One of the critical steps in designing a secure biometric system is protecting the templates of the users that are stored either in a central database or on smart cards. If a biom...
COMPSAC
2010
IEEE
13 years 6 months ago
2010
IEEE
The advent of emerging technologies such as Web services, service-oriented architecture, and cloud computing has enabled us to perform business services more efficiently and effect...
COMPSAC
2010
IEEE
13 years 6 months ago
2010
IEEE
In distributed IT systems, replication of information is commonly used to strengthen the fault tolerance on a technical level or the autonomy of an organization on a business level...
EMSOFT
2010
Springer
13 years 6 months ago
2010
Springer
Constructing correct distributed systems from their high-level models has always been a challenge and often subject to serious errors because of their non-deterministic and non-at...
TASE
2010
IEEE
13 years 3 months ago
2010
IEEE
--This paper presents a novel approach to evaluate the response time in networked automation systems (NAS) that use a client/server protocol. The developments introduced are derive...