2025 search results - page 311 / 405 » Minimal-Cut Model Composition |
ICDM
2007
IEEE
14 years 3 months ago
2007
IEEE
— RNA molecules are distinguished by their sequence composition and by their three-dimensional shape, called the secondary structure. The secondary structure of a pre-mRNA sequen...
APLAS
2004
ACM
14 years 2 months ago
2004
ACM
With generic functional programming techniques, we have eased GUI programming by constructing a programming toolkit with which one can create GUIs in an abstract and compositional ...
ER
2004
Springer
14 years 2 months ago
2004
Springer
A major issue in the study of semantic Web services concerns the matching problem of Web services. Various techniques for this problem have been proposed. Typical ones include FSM ...
COMPSAC
2002
IEEE
14 years 1 months ago
2002
IEEE
The coordination paradigm has been used extensively as a mechanism for software composition and integration. Consequently, a number of associated models and languages have been pr...
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
Abstract— We propose formal models for analyzing robustness of multi-hop control networks, where data from sensors to controllers and from controllers to actuators is sent throug...