Sciweavers

151 search results - page 19 / 31
» Modularizing design patterns with aspects: a quantitative st...
Sort
View
IWFM
1998
113views Formal Methods» more  IWFM 1998»
13 years 9 months ago
A Use Case Interpretation of B AMN
In this paper we suggest methods to aid the development of specifications using the B method. We propose an objectoriented approach to specification, developing the structure thro...
Richard Shore
CHI
2006
ACM
14 years 8 months ago
"Sketching" nurturing creativity: commonalities in art, design, engineering and research
icians or philosophers use abstract symbols to derive formulas or form proofs. Indeed, these sketches are structural geometric proofs, consistent with Plato's supposition that...
Kumiyo Nakakoji, Atau Tanaka, Daniel Fallman
IFIP
2001
Springer
14 years 4 days ago
Cultivating Recalcitrance in Information Systems Research
There is an ongoing debate about how to improve the quality of empirical research efforts in information systems. One of the persistent issues within the debate concerns the relat...
Carsten Sørensen, Edgar A. Whitley, Shirin ...
IR
2006
13 years 7 months ago
A study of mixture models for collaborative filtering
Collaborative filtering is a general technique for exploiting the preference patterns of a group of users to predict the utility of items for a particular user. Three different co...
Rong Jin, Luo Si, Chengxiang Zhai
CBSE
2008
Springer
13 years 9 months ago
A Practical Approach for Finding Stale References in a Dynamic Service Platform
The OSGiTM Service Platform is becoming the de facto standard for modularized Java applications. The market of OSGi based COTS components is continuously growing. OSGi specific pro...
Kiev Gama, Didier Donsez