Sciweavers

4761 search results - page 83 / 953
» Components, Frameworks, Patterns
Sort
View
ZUM
2005
Springer
206views Formal Methods» more  ZUM 2005»
15 years 10 months ago
Component Reuse in B Using ACL2
Abstract. We present a new methodology that permits to reuse an existing hardware component that has not been developed within the B framework while maintaining a correct design ï¬...
Yann Zimmermann, Diana Toma
CACM
1998
83views more  CACM 1998»
15 years 4 months ago
A Pattern System for Network Management Interfaces
: The development of network management interfaces (NMIs) involves a variety of software layers, application programming interfaces (APIs), specification languages and tools. In or...
Rudolf K. Keller, Jean Tessier, Gregor von Bochman...
SAC
2004
ACM
15 years 10 months ago
Guiding motif discovery by iterative pattern refinement
In this paper, we demonstrate that the performance of a motif discovery algorithm can be significantly improved by embedding it into a novel framework that effectively guides the ...
Zhiping Wang, Mehmet M. Dalkilic, Sun Kim
180
Voted
IPPS
2003
IEEE
15 years 10 months ago
Constrained Component Deployment in Wide-Area Networks Using AI Planning Techniques
Component-based models represent a dominant trend in the construction of wide-area network applications, making possible the integration of diverse functionality contained in modu...
Tatiana Kichkaylo, Anca-Andreea Ivan, Vijay Karamc...
LWA
2008
15 years 6 months ago
Integrating the Rule-Based IE Component TextMarker into UIMA
In this paper we describe the integration of the rule-based IE component TEXTMARKER into the UIMA framework. We present a conceptual overview on the TEXTMARKER system before we de...
Peter Klügl, Martin Atzmüller, Frank Pup...