950 search results - page 140 / 190 » Tool Support for Model Checking of Web Application Designs |
ICMCS
2005
IEEE
14 years 1 months ago
2005
IEEE
: Personalized Education (PE) emphasizes the importance of individual differences in learning. To deliver personalized e-learning services and content, PE encompasses the abilities...
CISIS
2008
IEEE
14 years 2 months ago
2008
IEEE
The new era of multi-core processing challenges software designers to efficiently exploit the parallelism that is now massively available. Programmers have to exchange the conven...
CCS
2009
ACM
14 years 11 days ago
2009
ACM
Identity theft has fostered to a major security problem on the Internet, in particular stealing passwords for web applications through phishing and malware. We present TruWallet, ...
AOSD
2005
ACM
14 years 1 months ago
2005
ACM
C applications, in particular those using operating system level services, frequently comprise multiple crosscutting concerns: network protocols and security are typical examples ...
AC
2003
Springer
13 years 11 months ago
2003
Springer
Abstract. Over the last decade there has been a shift from "data-aware" information systems to "process-aware" information systems. To support business processe...