21319 search results - page 3624 / 4264 » An Approach for Method Reengineering |
184
click to vote
FM
2003
Springer
16 years 13 days ago
2003
Springer
Abstract. Program certification techniques formally show that programs satisfy certain safety policies. They rely on the correctness of the safety policy which has to be establish...
187
click to vote
FM
2003
Springer
16 years 13 days ago
2003
Springer
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
219
click to vote
FMCO
2003
Springer
16 years 13 days ago
2003
Springer
Abstract. The Unified Modeling Language (UML) favors the construction of models composed of several submodels, modeling the system comunder development at different levels of abs...
212
click to vote
FORMATS
2003
Springer
16 years 13 days ago
2003
Springer
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a specification formalism suitable for describing both nondeterminis...
185
click to vote
GECCO
2003
Springer
16 years 13 days ago
2003
Springer
Abstract. The dense wavelength division multiplexing (DWDM) technique has been developed to provide a tremendous number of wavelengths/channels in an optical fiber. In the multi-c...