33 search results - page 4 / 7 » Refinement strategies for verification methods based on data... |
ENTCS
2008
13 years 7 months ago
2008
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...
FORMATS
2010
Springer
13 years 5 months ago
2010
Springer
We present a general approach to combine symbolic state space representations for the discrete and continuous parts in the synthesis of winning strategies for timed reachability ga...
GLOBECOM
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract- This paper presents a RWA strategy based on the stochastic estimation of the Effective Number of Available Wavelengths (ENAW) along interdomain paths. We propose an appro...
EDUTAINMENT
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. This paper presents a strategy of dynamic user modeling for sketchbased user interface. A user model is defined as an incremental decision tree for a specific user. A dra...
FM
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...