Sciweavers

4346 search results - page 115 / 870
» Models of Complex Physical Systems Using Cell-DEVS
Sort
View
SUTC
2006
IEEE
16 years 10 days ago
The Computational Complexity of Enforceability Validation for Generic Access Control Rules
In computer security, many researches have tackled on the possibility of a unified model of access control, which could enforce any access control policies within a single unified...
Vincent C. Hu, D. Richard Kuhn, David F. Ferraiolo
SSS
2009
Springer
115views Control Systems» more  SSS 2009»
15 years 11 months ago
How to Improve Snap-Stabilizing Point-to-Point Communication Space Complexity?
A snap-stabilizing protocol, starting from any configuration, always behaves according to its specification. In this paper, we are interested in message forwarding problem in a m...
Alain Cournier, Swan Dubois, Vincent Villain
SIGOPSE
2004
ACM
15 years 11 months ago
An approach to benchmarking configuration complexity
Configuration is the process whereby components are assembled or adjusted to produce a functional system that operates at a specified level of performance. Today, the complexity o...
Aaron B. Brown, Joseph L. Hellerstein
IROS
2006
IEEE
165views Robotics» more  IROS 2006»
16 years 10 days ago
Grounded Situation Models for Robots: Where words and percepts meet
— Our long-term objective is to develop robots that engage in natural language-mediated cooperative tasks with humans. To support this goal, we are developing an amodal represent...
Nikolaos Mavridis, Deb Roy
MSV
2008
15 years 7 months ago
Modelling and Visualizing the Cahn-Hilliard-Cook Equation
The Cahn-Hilliard-Cook equation continues to be a useful model describing binary phase separation in systems such as alloys and other physical and chemical applications. We descri...
Kenneth A. Hawick, Daniel P. Playne