Sciweavers

3736 search results - page 459 / 748
» Hand-Writing Program Generator Generators
Sort
View
ECOWS
2009
Springer
16 years 1 months ago
Specifying and Monitoring Temporal Properties in Web Services Compositions
—Current Web service composition approaches and languages such as WS-BPEL do not allow to define temporal constraints in a declarative and separate way. Also it is not possible ...
Slim Kallel, Anis Charfi, Tom Dinkelaker, Mira Mez...
UM
2009
Springer
16 years 1 months ago
What Have the Neighbours Ever Done for Us? A Collaborative Filtering Perspective
Collaborative filtering (CF) techniques have proved to be a powerful and popular component of modern recommender systems. Common approaches such as user-based and item-based metho...
Rachael Rafter, Michael P. O'Mahony, Neil J. Hurle...
SMI
2008
IEEE
116views Image Analysis» more  SMI 2008»
16 years 1 months ago
Self-organizing primitives for automated shape composition
Motivated by the ability of living cells to form into specific shapes and structures, we present a new approach to shape modeling based on self-organizing primitives whose behavi...
Linge Bai, Manolya Eyiyurekli, David E. Breen
KBSE
2007
IEEE
16 years 1 months ago
Combined static and dynamic mutability analysis
Knowing which method parameters may be mutated during a method’s execution is useful for many software engineering tasks. We present an approach to discovering parameter referen...
Shay Artzi, Adam Kiezun, David Glasser, Michael D....
MEMOCODE
2007
IEEE
16 years 1 months ago
Scheduling as Rule Composition
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...
Nirav Dave, Arvind, Michael Pellauer