Search Sciweavers | Sciweavers

6978 search results - page 309 / 1396

» On Proofs in System P

137

click to vote

FAABS
2000
Springer

82views Intelligent Agents» more FAABS 2000»

Controlling Multiple Satellite Constellations Using the TEAMAgent System

15 years 10 months ago

Download www.psatellite.com

Derek M. Surka, Mark E. Campbell, Thomas P. Schett...

claim paper

Read More »

158

click to vote

VLDB
1991
ACM

143views Database» more VLDB 1991»

Effects of Database Size on Rule System Performance: Five Case Studies

15 years 10 months ago

Download www.vldb.org

David A. Brant, Timothy Grose, Bernie J. Lofaso, D...

claim paper

Read More »

128

click to vote

ECOOP
1987
Springer

75views Programming Languages» more ECOOP 1987»

The Common Lisp Object System: An Overview

15 years 10 months ago

Download www.dreamsongs.com

Linda G. DeMichiel, Richard P. Gabriel

claim paper

Read More »

100

click to vote

VLDB
1987
ACM

52views Database» more VLDB 1987»

Constructing Database Systems in a Persistent Environment

15 years 10 months ago

Download www.vldb.org

Richard Cooper, Malcolm P. Atkinson, Alan Dearle, ...

claim paper

Read More »

134

click to vote

EMSOFT
2008
Springer

91views Software Engineering» more EMSOFT 2008»

State space abstraction for parameterized self-stabilizing embedded systems

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers