314 search results - page 33 / 63 » Validating Specifications for Model-Based Testing |
127
click to vote
IWUC
2004
15 years 3 months ago
2004
Abstract. This study proposes a methodology that allows the flexible and maintainable development of application based on mobile agent to a ubiquitous environment. Ubiquitous envir...
120
click to vote
JCST
2008
15 years 2 months ago
2008
A cellular model based on the Incrementally Modular Abstraction Hierarchy (IMAH) is a novel model that can represent the architecture of and changes in cyberworlds, preserving inva...
151
click to vote
ANTSW
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Ant algorithms are usually derived from a stochastic modeling based on some specific probability laws. We consider in this paper a full deterministic model of "logis...
140
click to vote
KBSE
2000
IEEE
15 years 5 months ago
2000
IEEE
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...
127
click to vote
WETICE
2005
IEEE
15 years 7 months ago
2005
IEEE
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...