Sciweavers

12441 search results - page 47 / 2489
» Frame Based Features
Sort
View
123
Voted
IEAAIE
1995
Springer
15 years 5 months 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
112
Voted
FASE
2008
Springer
15 years 4 months ago
An Automatic Verifier for Java-Like Programs Based on Dynamic Frames
Jan Smans, Bart Jacobs 0002, Frank Piessens, Wolfr...
92
Voted
CORR
2008
Springer
106views Education» more  CORR 2008»
15 years 2 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