Sciweavers

1864 search results - page 12 / 373

» Formal topology and domains

129

HICSS
2003
IEEE

107views Biometrics» more HICSS 2003»

Embedding Domain Specific Languages in the Attribute Grammar Formalism

15 years 11 months ago

Embedding Domain Specific Languages in the Attribute Grammar Formalism

Download www.hicss.hawaii.edu

João Saraiva, Sérgio Schneider

claim paper

Read More »

203

EMSOFT
2006
Springer

260views Software Engineering» more EMSOFT 2006»

Towards a formal foundation for domain specific modeling languages

15 years 9 months ago

Towards a formal foundation for domain specific modeling languages

Download research.microsoft.com

Ethan K. Jackson, Janos Sztipanovits

claim paper

Read More »

124

JCST
2002

59views more JCST 2002»

Formal Ontology: Foundation of Domain Knowledge Sharing and Reusing

15 years 5 months ago

Formal Ontology: Foundation of Domain Knowledge Sharing and Reusing

Download jim.im.tku.edu.tw

Ruqian Lu, Zhi Jin

claim paper

Read More »

162

DAGSTUHL
2006

151views Software Engineering» more DAGSTUHL 2006»

A convenient category of domains

15 years 7 months ago

A convenient category of domains

Download homepages.inf.ed.ac.uk

We motivate and define a category of topological domains, whose objects are certain topological spaces, generalising the usual -continuous dcppos of domain theory. Our category su...

Ingo Battenfeld, Matthias Schröder, Alex Simp...

claim paper

Read More »

123

CAV
2007
Springer

114views Hardware» more CAV 2007»

An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software

16 years 7 days ago

An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software

Download research.microsoft.com

Sumit Gulwani, Ashish Tiwari

claim paper

Read More »

« Prev « First page 12 / 373 Last » Next »