2679 search results - page 384 / 536 » Experimental Models for Validating Technology |
134
click to vote
DASFAA
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract. Advances in web technology have given rise to new information retrieval applications. In this paper, we present a model for geographical region search and call this class...
139
click to vote
JCP
2008
15 years 4 months ago
2008
Trust mechanism will be an important trend in the field of security for open network. But, as an important factor risk is little considered in trust model. In this paper, Further w...
145
click to vote
FMSD
2002
15 years 3 months ago
2002
Combining verification methods developed separately for software and hardware is motivated by the industry's need for a technology that would make formal verification of reali...
162
click to vote
SOFTCOMP
2010
15 years 2 months ago
2010
In real world processes in the industry or in business, where the elements involved generate data full of noise and biases, improving the energy efficiency represents one of the ma...
156
click to vote
HCI
2009
15 years 1 months ago
2009
The paper describes an experimental work conducted within the HILAS (Human Integration into the Lifecycle of Aviation Systemshttp://www.hilas.info/mambo/) project. The objective of...