3765 search results - page 122 / 753 » Formal Methods for Systems Engineering Behavior Models |
133
click to vote
ARCS
2008
Springer
15 years 4 months ago
2008
Springer
: The task of the creatures in the "creatures' exploration problem" is to visit all empty cells in an environment with a minimum number of steps. We have analyzed th...
148
click to vote
IJCAT
2010
15 years 1 months ago
2010
The impact of Model-Driven Software Development in Web Engineering has given raise to the advent of Model-Driven Web Engineering, a new approach for Web Information Systems develop...
132
click to vote
ASUNAM
2009
IEEE
15 years 7 months ago
2009
IEEE
—Spam in social tagging systems introduced by some malicious participants has become a serious problem for its global popularizing. Some studies which can be deduced to static us...
130
Voted
FASE
2003
Springer
15 years 7 months ago
2003
Springer
In this paper, we present a generic approach to integrate datatypes expressed using formal specification languages within state diagrams. Our main motivations are (i) to be able t...
126
click to vote
ICSEA
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distri...