Search Sciweavers | Sciweavers

77016 search results - page 114 / 15404

» Modeling Modeling

130

click to vote

AML
2005

53views more AML 2005»

Models of set theory with definable ordinals

15 years 6 months ago

Download academic2.american.edu

A DO model (here also referred to a Paris model) is a model M of set theory all of whose ordinals are first order definable in M. Jeffrey Paris (1973) initiated the study of DO mo...

Ali Enayat

claim paper

Read More »

130

click to vote

MODELS
2009
Springer

130views Natural Language Processing» more MODELS 2009»

OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language

16 years 25 days ago

Download www.cs.colostate.edu

Joanna Chimiak-Opoka

claim paper

Read More »

118

click to vote

MODELS
2009
Springer

128views Natural Language Processing» more MODELS 2009»

On the importance and challenges of FOSD

16 years 25 days ago

Download www.infosun.fim.uni-passau.de

Don S. Batory

claim paper

Read More »

112

click to vote

MODELS
2007
Springer

99views Natural Language Processing» more MODELS 2007»

Slicing the Three-layer Architecture: A Semantic Foundation for Behavioural Specification

16 years 13 days ago

Download ftp.informatik.rwth-aachen.de

Michelle L. Crane

claim paper

Read More »

146

click to vote

ANSS
1996
IEEE

120views Modeling and Simulation» more ANSS 1996»

From Multibody Systems Modeling to Distributed Real-Time Simulation

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers