262 search results - page 28 / 53 » Verifying Web Applications Using Bounded Model Checking |
226
Voted
SIGMOD
2009
ACM
16 years 2 months ago
2009
ACM
This paper presents SELinks, a programming language focused on building secure multi-tier web applications. SELinks provides a uniform programming model, in the style of LINQ and ...
129
Voted
IJMTM
2007
15 years 2 months ago
2007
Large, industry-wide interoperability projects use syntax-based standards approaches to accomplish interoperable data exchange among enterprise applications. We are investigating S...
136
click to vote
INTERNET
2006
15 years 2 months ago
2006
A conversation is the global sequence of messages exchanged among the components of a distributed system. Conversations provide a promising model for specifying and analyzing the ...
115
Voted
CSREAPSC
2006
15 years 3 months ago
2006
- This paper uses and extends the ideas of a multi-device interface design approach from a previous work developing a framework for mobile access to web systems. It can adapt any d...
109
click to vote
RE
2001
Springer
15 years 6 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...