4870 search results - page 107 / 974 » Challenges of component-based development |
133
click to vote
ITP
2010
15 years 5 months ago
2010
We present a new formalization of the algebraic hierarchy in Coq, exploiting its new type class mechanism to make practical a solution formerly thought infeasible. Our approach add...
111
click to vote
CSCWD
2007
Springer
15 years 5 months ago
2007
Springer
The difficult business reality today makes enterprises more and more resort to information technology to manage nearly everything within the enterprises and to conduct business ac...
104
Voted
ECSCW
2007
15 years 4 months ago
2007
The rapidly expanding elderly population in Japan and other industrialized countries has posed an enormous challenge to the systems of healthcare that serve elderly citizens. This ...
119
click to vote
SERP
2003
15 years 4 months ago
2003
E-whiteboards - large image display surfaces (LIDS) that support data input with pen-based sketching - have become more readily available in recent times. We describe a prototype ...
128
click to vote
WEBNET
2000
15 years 4 months ago
2000
: It is always a challenge to present Web applications at a facility with no Internet connection. Traditional presentation methods such as transparencies or slides are inadequate f...