Search Sciweavers | Sciweavers

12981 search results - page 276 / 2597

» Model Checking (Abstract)

135

click to vote

SPIN
1999
Springer

108views Theoretical Computer Science» more SPIN 1999»

A Framework for Automatic Construction of Abstract Promela Models

15 years 10 months ago

Download spinroot.com

María-del-Mar Gallardo, Pedro Merino

claim paper

Read More »

119

click to vote

TIME
1998
IEEE

77views Automated Reasoning» more TIME 1998»

Model-Based Visualization of Temporal Abstractions

15 years 10 months ago

Download www.ise.bgu.ac.il

Yuval Shahar, Cleve Cheng

claim paper

Read More »

159

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 »

151

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 »

352

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