1926 search results - page 239 / 386 » Modeling and Model Checking Software Product Lines |
153
click to vote
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
Many opportunities for easy, big-win, program optimizations are missed by compilers. This is especially true in highly layered Java applications. Often at the heart of these misse...
149
click to vote
C3S2E
2009
ACM
15 years 8 months ago
2009
ACM
This paper proposes a security analysis framework for dynamic web applications. A reverse engineering process is performed over a dynamic web application to extract a rolebased ac...
124
click to vote
ECLIPSE
2007
ACM
15 years 8 months ago
2007
ACM
In this paper we detail the design and implementation of an Eclipse plug-in that supports construction, analysis and elaboration of Modal Transition Systems. The plug-in supports ...
143
click to vote
FOSSACS
2007
Springer
15 years 10 months ago
2007
Springer
A web service is modeled here as a finite state machine. A composition problem for web services is to decide if a given web service can be constructed from a given set of web serv...
127
click to vote
WSC
2008
15 years 6 months ago
2008
Simulation results are often needed within a short time frame, while the development of simulation models can be time consuming. We develop a methodology to facilitate rapid gener...