1988 search results - page 375 / 398 » Engineering formal metatheory |
158
click to vote
MEDIAFORENSICS
2010
15 years 10 days 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...
145
click to vote
COMPSAC
2010
IEEE
14 years 12 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...
135
click to vote
COMPSAC
2010
IEEE
14 years 12 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...
135
click to vote
EMSOFT
2010
Springer
14 years 12 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...
139
click to vote
TASE
2010
IEEE
14 years 8 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...