2468 search results - page 358 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
109
click to vote
VTC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract—Group-orthogonal multicarrier code-division multiple access (GO-MC-CDMA) has been proposed as a multiplexing technique for the uplink segment of wireless systems. The di...
135
click to vote
INFOSCALE
2006
ACM
15 years 9 months ago
2006
ACM
Huge amounts of data are available in large-scale networks of autonomous data sources dispersed over a wide area. Data mining is an essential technology for obtaining hidden and v...
144
click to vote
ICALT
2003
IEEE
15 years 9 months ago
2003
IEEE
The “JavaTM Intelligent Tutoring System” (JITS) research project involves the development of a programming tutor designed for students in their first programming course in Jav...
101
click to vote
JCS
2008
15 years 3 months ago
2008
We present a novel technique, known as the non-delegatable authority (NDA), for distributing authority to unconfined subjects in capability systems that prevents them from sharing...
218
click to vote
ASC
2007
16 years 2 months ago
2007
Credit risk has always been an important issue for banks
and other financial intermediaries. A reliable and consistent
computing system is necessary to simplify the decision
mak...