11374 search results - page 132 / 2275 » Demonstration of the CROSSMARC System |
192
click to vote
CODES
2010
IEEE
15 years 4 months ago
2010
IEEE
Monitoring human movements using wireless sensory devices promises to revolutionize the delivery of healthcare services. In spite of their potentials for many application domains,...
161
click to vote
SASO
2010
IEEE
15 years 4 months ago
2010
IEEE
Server consolidation through virtualization is becoming an effective way to save power and space in enterprise data centers. However, it also brings additional operational risks f...
187
click to vote
USS
2010
15 years 4 months ago
2010
Despite the widespread deployment of malwaredetection software, in many situations it is difficult to preemptively block a malicious program from infecting a system. Rather, signa...
169
click to vote
COGCOM
2010
15 years 4 months ago
2010
Controlling cognitive systems like domestic robots or intelligent assistive environments requires striking an appropriate balance between responsiveness and persistence. Basic goal...
228
click to vote
JSC
2010
15 years 1 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...