2373 search results - page 386 / 475 » Towards a Model of Computer Systems Research |
227
click to vote
FASE
2011
Springer
14 years 8 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
182
click to vote
CSB
2005
IEEE
15 years 10 months ago
2005
IEEE
We developed a machine learning system for determining gene functions from heterogeneous sources of data sets using a Weighted Naive Bayesian Network (WNB). The knowledge of gene ...
135
click to vote
ESORICS
2010
Springer
15 years 4 months ago
2010
Springer
We carry out attacks using Internet services that aim to keep telephone devices busy, hindering legitimate callers from gaining access. We use the term DIAL (Digitally Initiated A...
112
click to vote
CHI
2008
ACM
16 years 4 months ago
2008
ACM
A reliable and unobtrusive measurement of working memory load could be used to evaluate the efficacy of interfaces and to provide real-time user-state information to adaptive syst...
126
click to vote
IPPS
2005
IEEE
15 years 10 months ago
2005
IEEE
As energy consumption in high-performance systems has increased, thermal management has become a big challenge. Providing a cost-effective and detailed temperature sensing mechani...