96 search results - page 1 / 20 » Formal Verification of Web Applications Modeled by Communica... |
82
Voted
FORTE
2004
15 years 8 days 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...
RTS
2008
14 years 10 months ago
2008
The aim of this paper is to show, how a multitasking application running under a real-time operating system compliant with an OSEK/VDX standard can be modeled by timed automata. Th...
DSRT
2004
IEEE
15 years 2 months ago
2004
IEEE
88
Voted
ECOWS
2006
Springer
15 years 2 months ago
2006
Springer
Current web services are largely based on a synchronous request-response model that uses the Simple Object Access Protocol SOAP. Next-generation telecommunication networks, on the...
CCS
2008
ACM
15 years 26 days ago
2008
ACM
Single-Sign-On (SSO) protocols enable companies to establish a federated environment in which clients sign in the system once and yet are able to access to services offered by dif...