9110 search results - page 463 / 1822 » Formally-Based Design Evaluation |
188
click to vote
HPDC
2005
IEEE
16 years 13 days ago
2005
IEEE
This paper describes the design and implementation of SWORD, a scalable resource discovery service for widearea distributed systems. In contrast to previous systems, SWORD allows ...
204
click to vote
EMSOFT
2009
Springer
15 years 11 months ago
2009
Springer
Embedded systems such as smart cards or sensors are now widespread, but are often closed systems, only accessed via dedicated terminals. A new trend consists in embedding Web serv...
222
click to vote
CCS
2010
ACM
15 years 7 months ago
2010
ACM
We systematically study the design of image recognition CAPTCHAs (IRCs) in this paper. We first review and examine all IRCs schemes known to us and evaluate each scheme against th...
186
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Understanding the relationship between gene expression changes, enzyme activity shifts, and the corresponding physiological adaptive response of organisms to environme...
156
click to vote
IJMMS
2008
15 years 6 months ago
2008
Drivers need assistance when navigating an unfamiliar route. In-vehicle navigation systems have improved in recent years due to the technology advances, but are sometimes problema...