Search Sciweavers | Sciweavers

21430 search results - page 48 / 4286

» Abstract Effective Models

151

click to vote

ECOOPW
1998
Springer

100views Distributed And Parallel Com...» more ECOOPW 1998»

A Computational Model for a Distributed Object-Oriented Operating System Based on a Reflective Abstract Machine

15 years 10 months ago

Download www.di.uniovi.es

Lourdes Tajes Martínez, Fernando Álv...

claim paper

Read More »

137

click to vote

ROBOCUP
1998
Springer

81views Robotics» more ROBOCUP 1998»

Using an Explicit Teamwork Model and Learning in RoboCup: An Extended Abstract

15 years 10 months ago

Download people.ict.usc.edu

Stacy Marsella, Jafar Adibi, Yaser Al-Onaizan, Ali...

claim paper

Read More »

122

click to vote

SAS
1998
Springer

65views Formal Methods» more SAS 1998»

Program Analysis as Model Checking of Abstract Interpretations

15 years 10 months ago

Download www.cs.ucla.edu

David A. Schmidt, Bernhard Steffen

claim paper

Read More »

136

click to vote

TACAS
1998
Springer

82views Algorithms» more TACAS 1998»

Model Checking of Real-Time Reachability Properties Using Abstractions

15 years 10 months ago

Download www-verimag.imag.fr

Conrado Daws, Stavros Tripakis

claim paper

Read More »

336

click to vote

TAGT
1998
Springer

317views Graph Theory» more TAGT 1998»

A Fully Abstract Model for Graph-Interpreted Temporal Logic

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers