Sciweavers

12441 search results - page 47 / 2489
» Frame Based Features
Sort
View
IEAAIE
1995
Springer
14 years 10 days ago
Modelling Hybrid Rule/Frame-Based Expert Systems Using Coloured Petri Nets
High level Petri Nets have recently been used for many AI applications, particularly for modelling traditional rule-based expert systems. The major effect is to facilitate the ana...
Simon C. K. Shiu, James N. K. Liu, Daniel S. Yeung
FASE
2008
Springer
13 years 10 months ago
An Automatic Verifier for Java-Like Programs Based on Dynamic Frames
Jan Smans, Bart Jacobs 0002, Frank Piessens, Wolfr...
CORR
2008
Springer
106views Education» more  CORR 2008»
13 years 8 months ago
Multiprocessor Global Scheduling on Frame-Based DVFS Systems
In this work, we are interested in multiprocessor energy efficient systems where task durations are not known in advance but are known stochastically. More precisely we consider g...
Vandy Berten, Joël Goossens