Sciweavers

159 search results - page 5 / 32
» Generic Composition
Sort
View
BMCBI
2010
89views more  BMCBI 2010»
13 years 8 months ago
Predictors of natively unfolded proteins: unanimous consensus score to detect a twilight zone between order and disorder in gene
Background: Natively unfolded proteins lack a well defined three dimensional structure but have important biological functions, suggesting a re-assignment of the structure-functio...
Antonio Deiana, Andrea Giansanti
BIRTHDAY
2009
Springer
14 years 3 months ago
Web Service Composition via the Customization of Golog Programs with User Preferences
Abstract. We claim that user preferences are a key component of effective Web service composition, and one that has largely been ignored. In this paper we propose a means of speci...
Shirin Sohrabi, Nataliya Prokoshyna, Sheila A. McI...
ICFP
2006
ACM
14 years 8 months ago
A pattern for almost compositional functions
This paper introduces a pattern for almost compositional functions over recursive data types, and over families of mutually recursive data types. Here "almost compositional&q...
Aarne Ranta, Björn Bringert
WICSA
2001
13 years 10 months ago
A Compositional Approach for Constructing Connectors
Increasingly, systems are composed from independently developed parts, and mechanisms that allow those parts to interact (connectors). In many situations, specialized forms of int...
Bridget Spitznagel, David Garlan
CORR
2011
Springer
222views Education» more  CORR 2011»
13 years 3 months ago
Generic Trace Logics
Finite trace semantics is known and well understood for classical automata and non-deterministic labelled transition systems. Jacobs et al introduced a more general definition fo...
Christian Kissig, Alexander Kurz