Search Sciweavers | Sciweavers

14709 search results - page 346 / 2942

» Semantic feature modelling

160

click to vote

SCAM
2006
IEEE

102views Software Engineering» more SCAM 2006»

Data Representation Alternatives in Semantically Augmented Numerical Models

16 years 24 days ago

Download www-sop.inria.fr

Transformations of numerical source code may require the augmentation of the original variables with new data to represent additional data the transformed program operates on. Aut...

Michael W. Fagan, Laurent Hascoët, Jean Utke

claim paper

Read More »

134

click to vote

FM
2005
Springer

81views Formal Methods» more FM 2005»

Operational Semantics for Model Checking Circus

16 years 9 days ago

Download www.cs.york.ac.uk

Jim Woodcock, Ana Cavalcanti, Leonardo Freitas

claim paper

Read More »

130

click to vote

RULEML
2005
Springer

78views Internet Technology» more RULEML 2005»

Towards an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML

16 years 8 days ago

Download rewerse.net

Adrian Giurca, Gerd Wagner

claim paper

Read More »

130

click to vote

ASM
2003
ASM

104views Computational Biology» more ASM 2003»

A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines

16 years 15 hour ago

Download www.informatik.uni-ulm.de

Wolf Zimmermann, Axel Dold

claim paper

Read More »

131

click to vote

PODS
1992
ACM

96views Database» more PODS 1992»

The Valid Model Semantics for Logic Programs

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers