169 search results - page 10 / 34 » Towards Verification of Storyboards |
FORTE
2004
13 years 10 months ago
2004
In this paper, we present an approach for modeling an existing web application using communicating finite automata model based on the userdefined properties to be validated. We ela...
DALT
2009
Springer
14 years 26 days ago
2009
Springer
This paper generalises the theory of agent refinement from [1] to multi-agent systems in the presence of new coordination mechanisms extended with real time. The generalisation is ...
CORR
2011
Springer
13 years 4 months ago
2011
Springer
— In recent times, many protocols have been proposed to provide security for various information and communication systems. Such protocols must be tested for their functional cor...
SIGSOFT
2003
ACM
14 years 9 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
FLAIRS
2007
13 years 11 months ago
2007
In the paper we present a contribution to the SyntLex longterm-project aiming at a lexicon-grammar for Polish. A corpus-based method is presented for computer-assisted improvement...