Search Sciweavers | Sciweavers

9455 search results - page 200 / 1891

» The Modelling Language Zinc

click to vote

ER
2009
Springer

96views Database» more ER 2009»

Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relations

15 years 8 months ago

Download www.inf.ufrgs.br

Richard Dapoigny, Patrick Barlatier

claim paper

Read More »

104

click to vote

CP
2007
Springer

112views Artificial Intelligence» more CP 2007»

An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming

15 years 8 months ago

Download www.irisa.fr

Tristan Denmat, Arnaud Gotlieb, Mireille Ducass&ea...

claim paper

Read More »

click to vote

IFIP
2007
Springer

73views Programming Languages» more IFIP 2007»

Formal Modeling and Analysis of the Modbus Protocol

15 years 8 months ago

Download www.csl.sri.com

Bruno Dutertre

claim paper

Read More »

click to vote

FDL
2006
IEEE

93views Natural Language Processing» more FDL 2006»

Efficient Representation and Simulation of Model-Based Designs

15 years 8 months ago

Download www12.informatik.uni-erlangen.de

Joachim Falk, Christian Haubelt, Jürgen Teich

claim paper

Read More »

click to vote

CP
2005
Springer

87views Artificial Intelligence» more CP 2005»

Statistical Modelling of CSP Solving Algorithms Performance

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers