Sciweavers

1156 search results - page 101 / 232
» Compositional Methods for Information-Hiding
Sort
View
MCS
2000
Springer
14 years 18 days ago
Classifier Instability and Partitioning
Various methods exist for reducing correlation between classifiers in a multiple classifier framework. The expectation is that the composite classifier will exhibit improved perfor...
Terry Windeatt
CRIWG
2001
13 years 10 months ago
Evolution in Use of Groupware: Facilitating Tailoring to the Extreme
Group work evolves, often leading to changing requirements on the technical support. To meet these new requirements groupware has to be modified. A system that allows end users to...
Robert Slagter, Margit Biemans, G. Henri ter Hofte
BMCBI
2008
58views more  BMCBI 2008»
13 years 9 months ago
Discrimination of outer membrane proteins with improved performance
Background: Outer membrane proteins (OMPs) perform diverse functional roles in Gramnegative bacteria. Identification of outer membrane proteins is an important task. Results: This...
Changhui Yan, Jing Hu, Yingfeng Wang
ENTCS
2006
146views more  ENTCS 2006»
13 years 9 months ago
Formalizing WSBPEL Business Processes Using Process Algebra
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service colla...
Javier Cámara, Carlos Canal, Javier Cubo, A...
ENTCS
2006
112views more  ENTCS 2006»
13 years 9 months ago
Interface Automata with Complex Actions
Many formalisms use interleaving to model concurrency. To describe some system behaviours appropriately, we need to limit interleaving. For example, in componentbased systems, we ...
Shahram Esmaeilsabzali, Farhad Mavaddat, Nancy A. ...