Sciweavers

3948 search results - page 256 / 790
» Integration Workbench: Integrating Schema Integration Tools
Sort
View
CORR
2007
Springer
83views Education» more  CORR 2007»
15 years 5 months ago
Time and the Prisoner's Dilemma
B This paper examinesthe integration of computational complexity into gametheoretic models. Theexample focused on is the Prisoner’s Dilemma,repeated for a finite length of time....
Yishay Mor, Jeffrey S. Rosenschein
ECEASST
2010
15 years 21 days ago
A Feature Model for an IDE4OCL
An Integrated OCL Development Environment (IDE4OCL) can significantly improve the pragmatics and practice of OCL. Therefore we started a comprehensive requirement analysis with the...
Joanna Dobroslawa Chimiak-Opoka, Birgit Demuth
AMC
2011
14 years 9 months ago
An algebraic cubature formula on curvilinear polygons
We implement in Matlab a Gauss-like cubature formula on bivariate domains whose boundary is a piecewise smooth Jordan curve (curvilinear polygons). The key tools are Green’s int...
G. Santin, Alvise Sommariva, Marco Vianello
UML
2001
Springer
15 years 10 months ago
Conformance Testing from UML Specifications. Experience Report
: UMLAUT is a framework for building tools dedicated to the manipulation of models described using the Unified Modeling Language (UML). TGV is a tool for the generation of conforma...
Lydie du Bousquet, Hugues Martin, Jean-Marc J&eacu...
DATE
2000
IEEE
117views Hardware» more  DATE 2000»
15 years 10 months ago
Evaluating System Dependability in a Co-Design Framework
The widespread adoption of embedded microprocessor-based systems for safety critical applications mandates the use of co-design tools able to evaluate system dependability at ever...
Marcello Lajolo, Maurizio Rebaudengo, Matteo Sonza...