Sciweavers

2670 search results - page 186 / 534
» Modeling systems with internal state using evolino
Sort
View
FM
2006
Springer
146views Formal Methods» more  FM 2006»
15 years 10 months ago
Exact and Approximate Strategies for Symmetry Reduction in Model Checking
Symmetry reduction techniques can help to combat the state space explosion problem for model checking, but are restricted by the hard problem of determining equivalence of states d...
Alastair F. Donaldson, Alice Miller
PCI
2001
Springer
15 years 11 months ago
A Knowledge Based Approach on Educational Metadata Use
One of the most rapidly evolving e-services is e-Learning, that is, the creation of advanced educational resources that are accessible on-line and, potentially, offer numerous adva...
Fotis Kokkoras, Demetrios G. Sampson, Ioannis P. V...
QEST
2006
IEEE
16 years 16 days ago
Modeling Fiber Delay Loops in an All Optical Switch
We analyze the effect of a few fiber delay loops on the number of deflections in an all optical packet switch. The switch is based on the ROMEO architecture developed by Alcatel...
Ana Busic, Mouad Ben Mamoun, Jean-Michel Fourneau
ATAL
2007
Springer
16 years 21 days ago
Exchanging reputation values among heterogeneous agent reputation models: an experience on ART testbed
In open MAS it is often a problem to achieve agents' interoperability. The heterogeneity of its components turns the establishment of interaction or cooperation among them in...
Anarosa Brandão, Laurent Vercouter, Sara J....
ASMTA
2008
Springer
167views Mathematics» more  ASMTA 2008»
15 years 8 months ago
Perfect Simulation of Stochastic Automata Networks
The solution of continuous and discrete-time Markovian models is still challenging mainly when we model large complex systems, for example, to obtain performance indexes of paralle...
Paulo Fernandes, Jean-Marc Vincent, Thais Webber