Sciweavers

2594 search results - page 146 / 519
» Stabilization of Systems with Changing Dynamics
Sort
View
WCRE
2006
IEEE
15 years 10 months ago
Extracting Change-patterns from CVS Repositories
Often, the only sources of information about the evolution of software systems are the systems themselves and their histories. Version control repositories contain information on ...
Salah Bouktif, Yann-Gaël Guéhén...
SP
1996
IEEE
140views Security Privacy» more  SP 1996»
15 years 8 months ago
A Security Model of Dynamic Labeling Providing a Tiered Approach to Verification
In the proposed mandatory access control model, arbitrary label changing policies can be expressed. The relatively simple model can capture a wide variety of security policies, in...
Simon N. Foley, Li Gong, Xiaolei Qian
RTSS
2003
IEEE
15 years 9 months ago
Adaptive Coherency Maintenance Techniques for Time-Varying Data
Often, data used in on-line decision making (for example, in determining how to react to changes in process behavior, traffic flow control, etc.) is dynamic in nature and hence ...
Ratul kr. Majumdar, Kannan M. Moudgalya, Krithi Ra...
SPAA
2010
ACM
15 years 4 months ago
Best-effort group service in dynamic networks
d Abstract) Bertrand Ducourthial Sofiane Khalfallah Franck Petit We propose a group membership service for asynchronous wireless dynamic ad hoc networks. It maintains as long as p...
Bertrand Ducourthial, Sofiane Khalfallah, Franck P...
CONCUR
2006
Springer
15 years 8 months ago
Dynamic Access Control in a Concurrent Object Calculus
Abstract. We develop a variant of Gordon and Hankin's concurrent object calculus with support for flexible access control on methods. We investigate safe administration and ac...
Avik Chaudhuri