4962 search results - page 364 / 993 » Stochastic Model Checking |
105
Voted
ECAL
2003
Springer
15 years 8 months ago
2003
Springer
An agent-based approach is used to explain the formation of vortex swarms in biological systems. The dynamics of the multiagent system is described by 3N coupled equations, modeli...
117
Voted
ICC
2007
IEEE
15 years 9 months ago
2007
IEEE
—Today, international mobile roaming (IMR) is experiencing changes both in terms of technology and business models. Traditionally, voice and SMS have been the only services offer...
128
Voted
ECML
2006
Springer
15 years 7 months ago
2006
Springer
Reinforcement learning in real-world domains suffers from three curses of dimensionality: explosions in state and action spaces, and high stochasticity. We present approaches that ...
128
Voted
IPPS
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents general techniques for formally modeling, simulating, and model checking real-time resource-sharing protocols in Real-Time Maude. The “scheduling subset” o...
147
Voted
CC
2003
Springer
15 years 8 months ago
2003
Springer
This paper presents a semantics-based compilation model for an aspect-oriented programming language based on its operational semantics. Using partial evaluation, the model can expl...