147 search results - page 16 / 30 » Lessons from the JML Project |
106
Voted
DT
2000
15 years 2 months ago
2000
Research on practical design verification techniques has long been impeded by the lack of published and yet detailed error data. Over the last few years we have systematically coll...
120
Voted
GI
2009
Springer
15 years 10 days ago
2009
Springer
: Over the last years the telecommunications industry has shifted from technology driven and incumbent operators to business driven service providers. There is a need for mature, c...
128
Voted
DAC
1997
ACM
15 years 6 months ago
1997
ACM
The InfoPad project was started at UC Berkeley in 1992 to investigate the issues involved in providing multimedia information access using a portable, wireless terminal. It quickl...
122
Voted
ICALT
2009
IEEE
15 years 9 months ago
2009
IEEE
Adaptive Hypermedia (AH) can offer a richer learning experience, tailored to students’ needs. However, authoring of AH is complex. Several models and systems have been developed...
106
click to vote
EGOV
2003
Springer
15 years 7 months ago
2003
Springer
In this paper the experiences from evaluating an e-democracy platform in two European cities are presented. The e-democracy platform under evaluation consisted of three main applic...