Sciweavers

1675 search results - page 111 / 335
» Compositional Model-Based Design
Sort
View
ENTCS
2010
173views more  ENTCS 2010»
13 years 9 months ago
A Boolean Algebra of Contracts for Assume-guarantee Reasoning
Contract-based design is an expressive paradigm for a modular and compositional specification of programs. It is in turn becoming a fundamental concept in mainstream industrial co...
Yann Glouche, Paul Le Guernic, Jean-Pierre Talpin,...
KDD
2003
ACM
109views Data Mining» more  KDD 2003»
14 years 9 months ago
Experimental design for solicitation campaigns
Data mining techniques are routinely used by fundraisers to select those prospects from a large pool of candidates who are most likely to make a financial contribution. These tech...
Uwe F. Mayer, Armand Sarkissian
IAT
2007
IEEE
14 years 3 months ago
WebML and Glue: An Integrated Discovery Approach for the SWS Challenge
In this paper we describe the improvements on our approach to the old discovery scenario of the SWS Challenge and our current solution for the new discovery and composition scenari...
Marco Brambilla, Stefano Ceri, Federico Michele Fa...
CAISE
2003
Springer
14 years 2 months ago
From State to Structure: an XML Web Publishing Framework
Abstract. We present the main features of a system designed to support the development and delivery of web applications through concepts for modularity, reuse and rapid prototyping...
Moira C. Norrie, Alexios Palinginis
EUSFLAT
2003
106views Fuzzy Logic» more  EUSFLAT 2003»
13 years 10 months ago
An XML vocabulary for soft computing
This paper presents iXSCL, an XML based language for the specification of objects in the Soft Computing area. iXSCL adopts a compositional approach in which objects are construct...
Adolfo R. de Soto, Conrado A. Capdevila, Eva Cuerv...