Sciweavers

1164 search results - page 206 / 233
» Type based service composition
Sort
View
ICFP
2007
ACM
15 years 1 months ago
iTasks: executable specifications of interactive work flow systems for the web
In this paper we introduce the iTask system: a set of combinators to specify work flows in a pure functional language at a very high level of abstraction. Work flow systems are au...
Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopm...
FORTE
2008
14 years 11 months ago
Distributed Semantics and Implementation for Systems with Interaction and Priority
The paper studies a distributed implementation method for the BIP (Behavior, Interaction, Priority) component framework for modeling heterogeneous systems. BIP offers two powerful ...
Ananda Basu, Philippe Bidinger, Marius Bozga, Jose...
BMCBI
2010
148views more  BMCBI 2010»
14 years 9 months ago
Analysis of interactions between ribosomal proteins and RNA structural motifs
Background: One important goal of structural bioinformatics is to recognize and predict the interactions between protein binding sites and RNA. Recently, a comprehensive analysis ...
Giovanni Ciriello, Claudio Gallina, Concettina Gue...
BMCBI
2010
144views more  BMCBI 2010»
14 years 9 months ago
Graph-based clustering and characterization of repetitive sequences in next-generation sequencing data
Background: The investigation of plant genome structure and evolution requires comprehensive characterization of repetitive sequences that make up the majority of higher plant nuc...
Petr Novák, Pavel Neumann, Jirí Maca...
BMCBI
2005
97views more  BMCBI 2005»
14 years 9 months ago
Comparative mapping of sequence-based and structure-based protein domains
Background: Protein domains have long been an ill-defined concept in biology. They are generally described as autonomous folding units with evolutionary and functional independenc...
Ya Zhang, John-Marc Chandonia, Chris H. Q. Ding, S...