Sciweavers

4870 search results - page 107 / 974
» Challenges of component-based development
Sort
View
ITP
2010
178views Mathematics» more  ITP 2010»
15 years 5 months ago
Developing the Algebraic Hierarchy with Type Classes in Coq
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...
Bas Spitters, Eelis van der Weegen
CSCWD
2007
Springer
15 years 5 months ago
Supporting Rapid Enterprise Information System Development: Key Issues and Infrastructure Construction
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...
Bo Jing, Jinlei Jiang, Meilin Shi
104
Voted
ECSCW
2007
15 years 4 months ago
Prior-to-request and request behaviors within elderly day care: Implications for developing service robots for use in multiparty
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 ...
Keiichi Yamazaki, Michie Kawashima, Yoshinori Kuno...
SERP
2003
15 years 4 months ago
Experiences Developing an E-Whiteboard-Based Circuit Designer
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 ...
Ray Liu, Lisa Wong, John C. Grundy
WEBNET
2000
15 years 4 months ago
Developing Web Browser Recording Tools Using Server-Side Programming Technology
: 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...
Chris J. Lu, Anantha Bangalore, Tony Tse