5196 search results - page 887 / 1040 » State of Application Assessment |
138
click to vote
DATE
2008
IEEE
15 years 5 months ago
2008
IEEE
Many decision and optimization problems in Electronic Design Automation (EDA) can be solved with Boolean Satisfiability (SAT). Moreover, well-known extensions of SAT also find app...
130
click to vote
ESORICS
2008
Springer
15 years 5 months ago
2008
Springer
The mifare Classic is a contactless smart card that is used extensively in access control for office buildings, payment systems for public transport, and other applications. We rev...
147
click to vote
ETRA
2008
ACM
15 years 5 months ago
2008
ACM
The goal of this paper is to predict future horizontal eye movement trajectories within a specified time interval. To achieve this goal a linear horizontal oculomotor plant mechan...
132
click to vote
FITRAMEN
2008
15 years 5 months ago
2008
The current data network scenario makes Traffic Engineering (TE) a very challenging task. The ever growing access rates and new applications running on end-hosts result in more var...
147
click to vote
FORTEST
2008
15 years 5 months ago
2008
Algebraic specifications of data types provide a natural basis for testing data types implementations. In this framework, the conformance relation is based on the satisfaction of a...