Sciweavers

1133 search results - page 88 / 227
» Modeling and Control of Distributed Asynchronous Computation...
Sort
View
C3S2E
2009
ACM
15 years 1 months ago
A verification framework for access control in dynamic web applications
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...
Manar H. Alalfi, James R. Cordy, Thomas R. Dean
WSC
2007
15 years 3 days ago
Controlled sequential bifurcation for software reliability study
Computer simulation is an appealing approach for the reliability analysis of structure-based software systems as it can accommodate important complexities present in realistic sys...
Jun Xu, Feng Yang, Hong Wan
WSC
2004
14 years 11 months ago
Adaptive Control Variates
Adaptive Monte Carlo methods are specialized Monte Carlo simulation techniques where the methods are adaptively tuned as the simulation progresses. The primary focus of such techn...
Sujin Kim, Shane G. Henderson
SPC
2005
Springer
15 years 3 months ago
TrustAC: Trust-Based Access Control for Pervasive Devices
Alice first meets Bob in an entertainment shop, then, they wish to share multimedia content, but Do they know what are trustworthy users? How do they share such information in a s...
Florina Almenárez Mendoza, Andrés Ma...
WSC
2004
14 years 11 months ago
Simulation-Based Advanced WIP Management and Control in Semiconductor Manufacturing
We develop a hierarchical distributed production planning and control methodology, called DISCS, for a large and unstable semiconductor manufacturing process. The upper layer of D...
Kazuo Miyashita, Tsukasa Okazaki, Hirofumi Matsuo