2025 search results - page 226 / 405 » Software performance modelling using PEPA nets |
153
Voted
AIIDE
2008
15 years 6 months ago
2008
Human experience with interactive games will be enhanced if the software agents that play the game learn from their failures. Techniques such as reinforcement learning provide one...
146
Voted
C3S2E
2009
ACM
15 years 7 months ago
2009
ACM
This paper proposes a security analysis framework for dynamic web applications. A reverse engineering process is performed over a dynamic web application to extract a rolebased ac...
120
Voted
ENVSOFT
2007
15 years 3 months ago
2007
This paper presents a case study in assessment of erosion hotspots in an Andean watershed. To do this, we made use of an interface called Geospatial Modelling of Soil Erosion (GEM...
103
Voted
ENTCS
2002
15 years 3 months ago
2002
In this work we present Zeus, a Distributed Model-Checker that evolves from the tool Kronos [8] and that currently can handle backwards computation of TCTLreachability properties ...
155
Voted
FPGA
2007
ACM
15 years 10 months ago
2007
ACM
Chip-multiprocessors are quickly gaining momentum in all segments of computing. However, the practical success of CMPs strongly depends on addressing the difficulty of multithread...