950 search results - page 162 / 190 » Tool Support for Model Checking of Web Application Designs |
JTRES
2009
ACM
14 years 10 days 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...
ACSAC
2010
IEEE
13 years 5 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....
SACMAT
2011
ACM
12 years 10 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 ...
WWW
2001
ACM
14 years 8 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...
ITCC
2002
IEEE
14 years 18 days 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...