2830 search results - page 334 / 566 » A Development Tool for E-learning Applications |
96
Voted
ASSETS
2006
ACM
15 years 4 months ago
2006
ACM
Many of today’s desktop applications are designed for use with a pointing device and keyboard. Someone with a disability, or in a unique environment, may not be able to use one ...
CSB
2005
IEEE
15 years 4 months ago
2005
IEEE
PCR, the polymerase chain reaction, is a fundamental tool of molecular biology. Quantitative PCR is the goldstandard methodology for determination of DNA copy numbers, quantitatin...
119
Voted
CBSE
2004
Springer
15 years 4 months ago
2004
Springer
Embedded systems must be cost-effective. This imposes strict requirements on the resource consumption of their applications. It is therefore desirable to be able to determine the ...
88
Voted
ICDCS
2003
IEEE
15 years 4 months ago
2003
IEEE
Current software development techniques and tools lack the capability to characterize function call chains in multithreaded and distributed applications built upon component techn...
99
Voted
ICSE
1999
IEEE-ACM
15 years 3 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...