789 search results - page 69 / 158 » Measurement Programs in Software Development: Determinants o... |
141
Voted
IFL
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
159
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: Availability of high-resolution RNA crystal structures for the 30S and 50S ribosomal subunits and the subsequent validation of comparative secondary structure models h...
117
Voted
UM
2005
Springer
15 years 9 months ago
2005
Springer
Building a generalizable detector of student behavior within intelligent tutoring systems presents two challenges: transferring between different cohorts of students (who may devel...
165
Voted
EMSOFT
2006
Springer
15 years 7 months ago
2006
Springer
Distributed real-time systems require a predictable and verifiable mechanism to control the communication medium. Current real-time communication protocols are typically independe...
131
Voted
DIMVA
2006
15 years 5 months ago
2006
Abstract. The Internet, and in particular the world-wide web, have become part of the everyday life of millions of people. With the growth of the web, the demand for on-line servic...