950 search results - page 120 / 190 » Tool Support for Model Checking of Web Application Designs |
160
Voted
EON
2003
15 years 5 months ago
2003
In this paper we describe Racer, which can be considered as a core inference engine for the semantic web. The Racer inference server offers two APIs that are already used by at le...
169
Voted
CSFW
2012
IEEE
13 years 6 months ago
2012
IEEE
—Social sign-on and social sharing are becoming an ever more popular feature of web applications. This success is largely due to the APIs and support offered by prominent social ...
123
Voted
WWW
2008
ACM
16 years 4 months ago
2008
ACM
Complex dialogs with comprehensive underlying data models are gaining increasing importance in today's Web applications. This in turn accelerates the need for highly dynamic ...
137
Voted
DATE
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper presents VISTA, a new methodology and tool dedicated to analyse system level performance by executing full-scale SW application code on a transaction-level model of the...
128
Voted
CHI
2010
ACM
15 years 3 months ago
2010
ACM
Researchers have detailed the importance of routines in how people live and work, while also cautioning system designers about the importance of people's idiosyncratic behavi...