950 search results - page 162 / 190 » Tool Support for Model Checking of Web Application Designs |
129
click to vote
JTRES
2009
ACM
15 years 8 months ago
2009
ACM
Safety Critical Java is a specification being built on top a subset of interfaces from the Real-Time Specification for Java. It is designed to ease development and analysis of s...
132
click to vote
ACSAC
2010
IEEE
15 years 1 months ago
2010
IEEE
Smartphone usage has been continuously increasing in recent years. Moreover, smartphones are often used for privacysensitive tasks, becoming highly valuable targets for attackers....
177
click to vote
SACMAT
2011
ACM
14 years 6 months ago
2011
ACM
Cross domain resource sharing and collaborations have become pervasive in today’s service oriented organizations. Existing approaches for the realization of cross domain access ...
134
Voted
WWW
2001
ACM
16 years 4 months ago
2001
ACM
The simplicity of the basic client/server model of Web services led quickly to its widespread adoption, but also to scalability and performance problems. The technological respons...
173
click to vote
ITCC
2002
IEEE
15 years 8 months ago
2002
IEEE
KBS Adaptive Hyperbook is a framework designed for modeling, organizing, and maintaining distributed hypermedia resources on the Web with the purpose of supporting Web-based dista...