6885 search results - page 60 / 1377 » The micro-structure of use of help |
ICSE
2009
IEEE-ACM
13 years 7 months ago
2009
IEEE-ACM
Most system level software is written in C and executed concurrently. Because such software is often critical for system reliability, it is an ideal target for formal verification...
JDCTA
2010
13 years 4 months ago
2010
Electric power generation requires a great deal of production equipment, such as steam turbines, boilers, etc., how to insure the well-run condition of such equipment is the key f...
SIGIR
2010
ACM
13 years 4 months ago
2010
ACM
The Web N-gram Workshop was held on July 23, 2010 in Geneva, Switzerland, in conjunction with the 33rd Annual ACM SIGIR Conference. The workshop brought together leaders in inform...
WMCSA
2012
IEEE
12 years 5 months ago
2012
IEEE
Mobile technology has significant potential to help revolutionize personal wellness and the delivery of healthcare. Mobile phones, wearable sensors, and home-based tele-medicine ...
DIDACTICA
2000
13 years 10 months ago
2000
In computer science methods to aid learning are very important, because abstract models are used frequently. For this conventional teaching methods do not suffice. We have develope...