Sciweavers

94 search results - page 18 / 19
» Supporting the Development of Data Wrapping Ontologies (Exte...
Sort
View
ICFP
2005
ACM
14 years 5 months ago
Type inference, principal typings, and let-polymorphism for first-class mixin modules
module is a programming abstraction that simultaneously generalizes -abstractions, records, and mutually recursive definitions. Although various mixin module type systems have bee...
Henning Makholm, J. B. Wells
AIED
2005
Springer
13 years 10 months ago
Collaboration and Cognitive Tutoring: Integration, Empirical Results, and Future Directions
In this paper, we describe progress we have made toward providing cognitive tutoring to students within a collaborative software environment. First, we have integrated a collaborat...
Andreas Harrer, Bruce M. McLaren, Erin Walker, Lar...
DASFAA
2009
IEEE
252views Database» more  DASFAA 2009»
13 years 12 months ago
Optimal Privacy-Aware Path in Hippocratic Databases
Abstract. Privacy becomes a major concern for both customers and enterprises in today’s corporate marketing strategies, many research efforts have been put into developing new p...
Min Li, Xiaoxun Sun, Hua Wang, Yanchun Zhang
INTERNET
2007
113views more  INTERNET 2007»
13 years 5 months ago
REST Eye for the SOA Guy
it’s hardly Earth-shattering: abstracting your business services and separating them from your applications can yield an overall system that’s easier to build, maintain, and ex...
Steve Vinoski
TLDI
2010
ACM
247views Formal Methods» more  TLDI 2010»
14 years 2 months ago
F-ing modules
ML modules are a powerful language mechanism for decomposing programs into reusable components. Unfortunately, they also have a reputation for being “complex” and requiring fa...
Andreas Rossberg, Claudio V. Russo, Derek Dreyer