2407 search results - page 432 / 482 » A Tool for Abstraction in Model Checking |
165
click to vote
ICAC
2005
IEEE
15 years 11 months ago
2005
IEEE
Track 2 - Modeling and Abstraction of Services Process Session Chair: Dynamic Service Invocation Control in Service Composition Environments (SCC2010-2004) ...........................
150
click to vote
HIPEAC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. While cycle-accurate simulation tools have been widely used in modeling high-performance processors, such an approach can be hindered by the increasing complexity of the ...
183
click to vote
LAMAS
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we report on using a relational state space in multi-agent reinforcement learning. There is growing evidence in the Reinforcement Learning research community that a r...
146
click to vote
WER
2004
Springer
15 years 11 months ago
2004
Springer
At present, the early phase of Requirements Engineering is a new research area in the Software Engineering field. This phase is concerned with the analysis of the organizational c...
146
click to vote
ECOOPW
2003
Springer
15 years 11 months ago
2003
Springer
levels of abstraction. Lacking well-established technologies and models for representing and accessing program dynamics, tools must use ad-hoc mechanisms. This limits reuse and int...