Sciweavers

72 search results - page 11 / 15
» A Multilevel Dictionary for Model Management
Sort
View
ROBOCOMM
2007
IEEE
15 years 3 months ago
A generic multi-robot coordination strategic layer
—Managing a team of heterogeneous robots in a dynamic environment poses a challenging job. In this paper a model for a multi-purpose, real-time, adaptable, strategical coordinati...
João Certo, Nuno Lau, Luís Paulo Rei...
TISSEC
2010
142views more  TISSEC 2010»
14 years 4 months ago
A logical specification and analysis for SELinux MLS policy
The SELinux mandatory access control (MAC) policy has recently added a multi-level security (MLS) model which is able to express a fine granularity of control over a subject'...
Boniface Hicks, Sandra Rueda, Luke St. Clair, Tren...
ELPUB
2006
ACM
15 years 3 months ago
Open Access and Bakhtinian Dialogism
The article explores Open Access in the context of recent contributions in communication and public relations theory, notably Bakhtinian dialogism. Increasingly since the 1960s co...
Robert W. Vaagan
CCO
2001
Springer
168views Combinatorics» more  CCO 2001»
15 years 1 months ago
Mathematical Programming Models and Formulations for Deterministic Production Planning Problems
Abstract. We study in this lecture the literature on mixed integer programming models and formulations for a specific problem class, namely deterministic production planning probl...
Yves Pochet
POPL
2006
ACM
15 years 9 months ago
Decidability and proof systems for language-based noninterference relations
Noninterference is the basic semantical condition used to account for confidentiality and integrity-related properties in programming languages. There appears to be an at least im...
Mads Dam