Search Sciweavers | Sciweavers

12981 search results - page 277 / 2597

» Model Checking (Abstract)

130

click to vote

LICS
1996
IEEE

95views Automated Reasoning» more LICS 1996»

Order-Incompleteness and Finite Lambda Models (Extended Abstract)

15 years 10 months ago

Download www.mathstat.dal.ca

Peter Selinger

claim paper

Read More »

151

click to vote

LICS
1996
IEEE

121views Automated Reasoning» more LICS 1996»

A Fully Abstract Domain Model for the pi-Calculus

15 years 10 months ago

Download homepages.inf.ed.ac.uk

Ian Stark

claim paper

Read More »

128

click to vote

EUROPAR
1997
Springer

76views Distributed And Parallel Com...» more EUROPAR 1997»

Modeling the Dynamic Behavior of Objects on Events, Messages and Methods (Extended Abstract)

15 years 10 months ago

Download www.cs.sunysb.edu

Ruth Breu, Radu Grosu

claim paper

Read More »

124

click to vote

OOPSLA
1994
Springer

94views Security Privacy» more OOPSLA 1994»

Complex Associations: Abstractions in Object-Oriented Modeling

15 years 10 months ago

Download www.mip.sdu.dk

Bent Bruun Kristensen

claim paper

Read More »

133

click to vote

GIS
1992
ACM

103views Automated Reasoning» more GIS 1992»

A Conceptual Model of Wayfinding Using Multiple Levels of Abstraction

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers