Search Sciweavers | Sciweavers

6047 search results - page 27 / 1210

» Modeling with Extend

click to vote

FSTTCS
1999
Springer

98views Software Engineering» more FSTTCS 1999»

Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract)

14 years 1 months ago

Download www.iis.nsk.su

Ron van der Meyden, Nikolay V. Shilov

claim paper

Read More »

click to vote

IFIP
1998
Springer

69views Programming Languages» more IFIP 1998»

An extended manufacturing management model: control principles and aspects in production networks

14 years 1 months ago

Download www.sintef.no

J. O. Stranshagen, H. Dreyer, E. Borgen

claim paper

Read More »

click to vote

ROBOCUP
1998
Springer

81views Robotics» more ROBOCUP 1998»

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

14 years 1 months ago

Download people.ict.usc.edu

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

claim paper

Read More »

click to vote

LICS
1996
IEEE

95views Automated Reasoning» more LICS 1996»

Order-Incompleteness and Finite Lambda Models (Extended Abstract)

14 years 1 months ago

Download www.mathstat.dal.ca

Peter Selinger

claim paper

Read More »

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)

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers