Search Sciweavers | Sciweavers

11324 search results - page 335 / 2265

» Coordination Models and Languages

124

click to vote

ER
2009
Springer

96views Database» more ER 2009»

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

16 years 1 months ago

Download www.inf.ufrgs.br

Richard Dapoigny, Patrick Barlatier

claim paper

Read More »

166

click to vote

CP
2007
Springer

112views Artificial Intelligence» more CP 2007»

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

16 years 29 days ago

Download www.irisa.fr

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

claim paper

Read More »

138

click to vote

IFIP
2007
Springer

73views Programming Languages» more IFIP 2007»

Formal Modeling and Analysis of the Modbus Protocol

16 years 28 days ago

Download www.csl.sri.com

Bruno Dutertre

claim paper

Read More »

134

click to vote

FDL
2006
IEEE

93views Natural Language Processing» more FDL 2006»

Efficient Representation and Simulation of Model-Based Designs

16 years 25 days ago

Download www12.informatik.uni-erlangen.de

Joachim Falk, Christian Haubelt, Jürgen Teich

claim paper

Read More »

127

click to vote

CP
2005
Springer

87views Artificial Intelligence» more CP 2005»

Statistical Modelling of CSP Solving Algorithms Performance

16 years 9 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers