Sciweavers

1864 search results - page 12 / 373

» Formal topology and domains

29

HICSS
2003
IEEE

107views Biometrics» more HICSS 2003»

Embedding Domain Specific Languages in the Attribute Grammar Formalism

14 years 3 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 »

46

EMSOFT
2006
Springer

260views Software Engineering» more EMSOFT 2006»

Towards a formal foundation for domain specific modeling languages

14 years 1 months ago

Towards a formal foundation for domain specific modeling languages

Download research.microsoft.com

Ethan K. Jackson, Janos Sztipanovits

claim paper

Read More »

26

JCST
2002

59views more JCST 2002»

Formal Ontology: Foundation of Domain Knowledge Sharing and Reusing

13 years 9 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 »

36

DAGSTUHL
2006

151views Software Engineering» more DAGSTUHL 2006»

A convenient category of domains

13 years 11 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 »

23

CAV
2007
Springer

114views Hardware» more CAV 2007»

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

14 years 4 months 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 »