3082 search results - page 283 / 617 » Deviation Analysis: A New Use of Model Checking |
186
click to vote
SODA
2001
ACM
15 years 8 months ago
2001
ACM
We consider a network providing Differentiated Services (DiffServ) which allow network service providers to offer different levels of Quality of Service (QoS) to different traffic...
214
click to vote
IPPS
2007
IEEE
16 years 28 days ago
2007
IEEE
High-end computing is universally recognized to be a strategic tool for leadership in science and technology. A significant portion of high-end computing is conducted on clusters...
171
click to vote
IJCNN
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— This paper proposes an approach to learn subjectindependent P300 models for EEG-based brain-computer interfaces. The P300 models are first learned using a pool of exis...
187
click to vote
ECIS
2003
15 years 8 months ago
2003
Information Systems (IS) design research tends to emphasise the development of new methods (normative research), while addressing the evaluation of methods in only a limited fashi...
182
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
Protocols which solve agreement problems are essential building blocks for fault tolerant distributed applications. While many protocols have been published, little has been done ...