7766 search results - page 1278 / 1554 » Testing Nondeterminate Systems |
107
Voted
ACSAC
2005
IEEE
15 years 6 months ago
2005
IEEE
Java 2 Micro-Edition Connected Limited Device Configuration (J2ME CLDC) is the platform of choice when it comes to running mobile applications on resourceconstrained devices (cel...
102
click to vote
ACSAC
2005
IEEE
15 years 6 months ago
2005
IEEE
We propose a method to verify the result of attacks detected by signature-based network intrusion detection systems using lightweight protocol analysis. The observation is that ne...
99
Voted
CIG
2005
IEEE
15 years 6 months ago
2005
IEEE
Poker poses cognitive challenges like those of warfare, business and other real world domains. This makes poker a good test bed for basic research on how people make Command and Co...
96
Voted
CLUSTER
2005
IEEE
15 years 6 months ago
2005
IEEE
The Portals data movement interface was developed at Sandia National Laboratories in collaboration with the University of New Mexico over the last ten years. Portals is intended t...
105
click to vote
CODES
2005
IEEE
15 years 6 months ago
2005
IEEE
Biochips based on digital microfluidics offer a powerful platform for massively parallel biochemical analysis such as clinical diagnosis and DNA sequencing. Current full-custom de...