Sciweavers

4726 search results - page 253 / 946
» Domain Modeling of Software Process Models
Sort
View
APSEC
2007
IEEE
15 years 10 months ago
Definition of an Executable SPEM 2.0
One major advantage of executable models is that once constructed, they can be run, checked, validated and improved in short incremental and iterative cycles. In the field of Soft...
Reda Bendraou, Benoît Combemale, Xavier Cr&e...
WECWIS
2006
IEEE
106views ECommerce» more  WECWIS 2006»
16 years 18 days ago
A Feature-based Approach to Electronic Contracts
E-contracts are used to describe the supply and the consumption details of e-services within a business process. The establishment of e-contracts in a given application domain usu...
Marcelo Fantinato, Maria Beatriz Felgar de Toledo,...
IUI
1997
ACM
15 years 10 months ago
Integrating Planning and Task-Based Design for Multimedia Presentation
We claim that automatic multimedia presentation can be modeled by integrating two complementary approaches to automatic design: hierarchical planning to achieve communicative goal...
Stephan M. Kerpedjiev, Giuseppe Carenini, Steven F...
DEBU
2008
90views more  DEBU 2008»
15 years 6 months ago
Data Aggregation, Heterogeneous Data Sources and Streaming Processing: How Can XQuery Help?
Software infrastructures and applications more and more must deal with data available in a variety of different storage engines, accessible through a multitude of protocols and in...
Marc Van Cappellen, Wouter Cordewiner, Carlo Innoc...
APSEC
2000
IEEE
15 years 11 months ago
Fuzzy concepts and formal methods: some illustrative examples
It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modell...
Chris Matthews, Paul A. Swatman