Sciweavers

4346 search results - page 623 / 870
» Models of Complex Physical Systems Using Cell-DEVS
Sort
View
TOG
2008
197views more  TOG 2008»
15 years 3 months ago
Two-way coupling of fluids to rigid and deformable solids and shells
We propose a novel solid/fluid coupling method that treats the coupled system in a fully implicit manner making it stable for arbitrary time steps, large density ratios, etc. In c...
Avi Robinson-Mosher, Tamar Shinar, Jon Gretarsson,...
RBAC
1998
84views more  RBAC 1998»
15 years 5 months ago
Decentralized User-role Assignment for Web-based Intranets
The intricacy of security administration is one of the most challenging problems in large networked systems. This problem is especially serious in the Web environment, which consi...
Ravi S. Sandhu, Joon S. Park
166
Voted
ENTCS
2007
139views more  ENTCS 2007»
15 years 3 months ago
A Change-based Approach to Software Evolution
Software evolution research is limited by the amount of information available to researchers: Current version control tools do not store all the information generated by developer...
Romain Robbes, Michele Lanza
IWPC
2002
IEEE
15 years 9 months ago
Architecture Recovery of Dynamically Linked Applications: A Case Study
Most previously published case studies in architecture recovery have been performed on statically linked software systems. Due to the increase in use of middleware technologies, s...
Igor Ivkovic, Michael W. Godfrey
143
Voted
ETRICS
2006
15 years 7 months ago
Possibilistic Information Flow Control in MAKS and Action Refinement
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
Dieter Hutter