Sciweavers

7340 search results - page 308 / 1468
» The Behavior of Tutoring Systems
Sort
View
AOSE
2005
Springer
16 years 5 days ago
Modeling Social Aspects of Multi-Agent Systems: The AML Approach
This paper presents modeling concepts and mechanisms of the Agent Modeling Language (AML) to model social aspects of multiagent systems. The modeling of structural, behavioral as w...
Radovan Cervenka, Ivan Trencanský, Monique ...
ICTAC
2004
Springer
15 years 12 months ago
Minimal Spanning Set for Coverage Testing of Interactive Systems
A model-based approach for minimization of test sets for interactive systems is introduced. Test cases are efficiently generated and selected to cover the behavioral model and the ...
Fevzi Belli, Christof J. Budnik
ISCAS
1999
IEEE
129views Hardware» more  ISCAS 1999»
15 years 11 months ago
Fuzzy logic damping controller for FACTS devices in interconnected power systems
In this paper fuzzy controllers are designed for FACTS devices in interconnected power systems. Two typical FACTS devices, STATCOM and UPFC, are used as examples to show that FACT...
Ni Yixin, Mak Lai On, Huang Zhenyu, Chen Shousun, ...
CONCUR
2004
Springer
15 years 10 months ago
A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications
We introduce a generic family of behavioral relations for which the problem of comparing an arbitrary transition system to some finite-state specification can be reduced to a model...
Antonín Kucera, Ph. Schnoebelen
SLP
1997
78views more  SLP 1997»
15 years 8 months ago
Using SimICS to Evaluate the Penny System
We demonstrate the bene ts of instruction-set simulation in the evaluation of a parallel programming system, Penny. The simulator is a reliable tool in exploring design alternativ...
Johan Montelius, Peter S. Magnusson