7921 search results - page 80 / 1585 » Process Modeling in Web Applications |
DSN
2004
IEEE
14 years 22 days ago
2004
IEEE
The authors describe the use of bounded model checking (BMC) for verifying Web application code. Vulnerable sections of code are patched automatically with runtime guards, allowin...
WWW
2008
ACM
14 years 9 months ago
2008
ACM
As opposed to representing a document as a "bag of words" in most information retrieval applications, we propose a model of representing a web page as sets of named enti...
ISTA
2001
13 years 10 months ago
2001
: In this article, the visual Internet-oriented Java-based E-net Simulation System (JESS) is considered. JESS supports all the simulation stages from constructing the models to exp...
ICWE
2004
Springer
14 years 2 months ago
2004
Springer
This paper illustrates a method and a toolset for quality evaluation of Web applications that exploits conceptual specifications, deriving from the adoption of model-based develop...
APWEB
2005
Springer
14 years 2 months ago
2005
Springer
This paper presents a new method for visualizing and navigating huge graphs. The main feature of this method is that it applies Level-Of-Detail (LOD) strategy to graph visualizati...