Sciweavers

JELIA
1990
Springer
13 years 12 months ago
Systems for Knowledge and Beliefs
Wiebe van der Hoek
JELIA
1990
Springer
13 years 12 months ago
Anaphora and the Logic of Change
Reinhard Muskens
PNPM
1989
13 years 12 months ago
Stochastic Petri Net Modeling of VAXcluster System Availability
Oliver C. Ibe, Archana Sathaye, Richard C. Howe, K...
PNPM
1989
13 years 12 months ago
SPNP: Stochastic Petri Net Package
We present SPNP, a powerful GSPN package developed at Duke University. SPNP allows the modeling of complex system behaviors. Advanced constructs are available, such as markingdepe...
Gianfranco Ciardo, Jogesh K. Muppala, Kishor S. Tr...
KI
1989
Springer
13 years 12 months ago
Prolog
Hans-Jürgen Eikmeyer
IEAAIE
1989
Springer
13 years 12 months ago
DAME: a rule based designer of microprocessor based systems
Nikitas J. Dimopoulos, Kin F. Li, Eric G. Manning