1104 search results - page 52 / 221 » A Comparison of State-Based Modelling Tools for Model Valida... |
CONSTRAINTS
2010
13 years 9 months ago
2010
Abstract. We present three constraint models of the problem of finding a graceful labelling of a graph, or proving that the graph is not graceful. An experimental comparison of the...
ADAEUROPE
2007
Springer
13 years 10 months ago
2007
Springer
Currently, Model-Driven Engineering (MDE) is considered one of the most promising approaches for software development. In this paper, a simple but complete example based on state-m...
ICNS
2007
IEEE
14 years 3 months ago
2007
IEEE
— This paper presents a new end-to-end available bandwidth measurement tool called IGMPS (Improved Gap Model using Packet Size parameter). IGMPS is a lightweight tool based on a ...
RTSS
2007
IEEE
14 years 3 months ago
2007
IEEE
— We have developed an analysis-based design tool, ANDES, for modeling a wireless sensor network system and analyzing its performance before deployment. ANDES enables designers t...
FUIN
2008
13 years 8 months ago
2008
Reachability analysis is one of the most successful methods used in design and validation of protocols for classical communication, whereas the predicate/transition-net formalism i...