147 search results - page 16 / 30 » Lessons from the JML Project |
DT
2000
13 years 7 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...
GI
2009
Springer
13 years 5 months 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...
DAC
1997
ACM
13 years 11 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...
ICALT
2009
IEEE
14 years 2 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...
EGOV
2003
Springer
14 years 18 days 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...