3388 search results - page 137 / 678 » Type-theoretic design patterns |
173
click to vote
ICSM
2005
IEEE
16 years 14 days ago
2005
IEEE
Surprising as it may seem, many of the early adopters of the object-oriented paradigm already face a number of problems typically encountered in large-scale legacy systems. Softwa...
150
click to vote
ITS
2004
Springer
16 years 7 days ago
2004
Springer
Cognitive Tutors are proven effective learning environments, but are still not as effective as one-on-one human tutoring. We describe an environment (ALPS) designed to engage stude...
210
click to vote
DOCENG
2003
ACM
16 years 4 days ago
2003
ACM
XPath [3, 5] is a powerful and quite successful language able to perform complex node selection in trees through compact specifications. As such, it plays a growing role in many ...
154
click to vote
IPPS
1995
IEEE
15 years 10 months ago
1995
IEEE
High-performance parallel file systems are needed to satisfy tremendous I/O requirements of parallel scientific applications. The design of such high-performance parallel file ...
187
click to vote
MOBIWAC
2009
ACM
16 years 1 months ago
2009
ACM
Understanding how humans move is a key factor for the design and evaluation of networking protocols and mobility management solutions in mobile networks. This is particularly true...