Sciweavers

794 search results - page 101 / 159
» Evaluation of Assertion Support for the Java Programming Lan...
Sort
View
UM
2005
Springer
15 years 8 months ago
Social Navigation Support Through Annotation-Based Group Modeling
Closed corpus AH systems demonstrate what is possible to achieve with adaptive hypermedia technologies; however they are impractical for dealing with the large volume of open corpu...
Rosta Farzan, Peter Brusilovsky
EDO
2006
Springer
15 years 6 months ago
Improving modularity of reflective middleware with aspect-oriented programming
Reflective middleware has been proposed as an effective way to enhance adaptability of component-oriented middleware architectures. To be effectively adaptable, the implementation...
Nélio Cacho, Thaís Vasconcelos Batis...
114
Voted
UM
2007
Springer
15 years 8 months ago
Push-Poll Recommender System: Supporting Word of Mouth
Abstract. Recommender systems produce social networks as a side effect of predicting what users will like. However, the potential for these social networks to aid in recommending i...
Andrew Webster, Julita Vassileva
LISP
2008
105views more  LISP 2008»
15 years 2 months ago
Proving operational termination of membership equational programs
Abstract Reasoning about the termination of equational programs in sophisticated equational languages such as ELAN, MAUDE, OBJ, CAFEOBJ, HASKELL, and so on, requires support for ad...
Francisco Durán, Salvador Lucas, Claude Mar...
156
Voted
OSDI
2008
ACM
15 years 4 months ago
DryadLINQ: A System for General-Purpose Distributed Data-Parallel Computing Using a High-Level Language
DryadLINQ is a system and a set of language extensions that enable a new programming model for large scale distributed computing. It generalizes previous execution environments su...
Yuan Yu, Michael Isard, Dennis Fetterly, Mihai Bud...