Sciweavers

14379 search results - page 47 / 2876
» is 2000
Sort
View
106
Voted
ESM
2000
15 years 5 months ago
Hierarchical interfaces for hardware software systems
Tudor Niculiu, Chouki Aktouf, Sorin Cotofana
108
Voted
ESM
2000
15 years 5 months ago
The cellular automata formalism and its relationship to DEVS
Hans Vangheluwe, Ghislain C. Vansteenkiste
109
Voted
FBT
2000
139views Formal Methods» more  FBT 2000»
15 years 5 months ago
Model Checking and Random Competition - A Study Using the Model Checking Framework MIC
Alexander K. Wißpeintner, Franz Huber, Jan P...
89
Voted
ICMAS
2000
15 years 5 months ago
Multi-Agent Reinforcement Learning for Planning and Scheduling Multiple Goals
Sachiyo Arai, Katia P. Sycara, Terry R. Payne