788 search results - page 128 / 158 » Design and use of a system-level specification and verificat... |
144
click to vote
WWW
2007
ACM
16 years 6 months ago
2007
ACM
Investigating whether one can view Web searching as a learning process, we examined the searching characteristics of 41 participants engaged in 246 searching tasks. We classified ...
163
click to vote
GECCO
2007
Springer
16 years 10 days ago
2007
Springer
In this paper we report on a study in which genetic algorithms are applied to the analysis of noisy time-series signals, which is related to the problem of analyzing the motion ch...
182
click to vote
ICCSA
2007
Springer
16 years 10 days ago
2007
Springer
A tripartite authenticated key agreement protocol is generally designed to accommodate the need of three specific entities in communicating over an open network with a shared secre...
151
click to vote
ISCAS
2005
IEEE
15 years 11 months ago
2005
IEEE
—Systems on chip are more and more heterogeneous and include software, analog/RF and digital hardware, and non-electronic components such as sensors or actuators. The design and ...
143
click to vote
NETGAMES
2004
ACM
15 years 11 months ago
2004
ACM
It is usually hard to control the network conditions affecting public online game servers when studying the impact of latency, loss and jitter on user experience. This leads to a ...