2404 search results - page 71 / 481 » Postmodernism and Control Engineering |
169
click to vote
CBSE
2009
Springer
16 years 23 days ago
2009
Springer
Abstract. In current software components models, components do not encapsulate control, and are composed by connection mechanisms which pass control from component to component. Co...
131
click to vote
CSMR
2006
IEEE
16 years 7 days ago
2006
IEEE
This paper describes an approach for the migration of supervisory machine control architectures. This migration, from a paradigm based on finite-state machines to a paradigm base...
185
click to vote
FOSSACS
2008
Springer
15 years 7 months ago
2008
Springer
We present a translation from a logic of access control with a "says" operator to the classical modal logic S4. We prove that the translation is sound and complete. We al...
154
click to vote
WCRE
2006
IEEE
16 years 5 days ago
2006
IEEE
Aspect mining tries to identify crosscutting concerns in existing systems and thus supports the adaption to an aspect-oriented design. This paper describes an automatic static asp...
137
click to vote
IWSAS
2001
Springer
15 years 10 months ago
2001
Springer
: Self-adaptive software systems use observations of their own behavior, and that of their environment, to select and enact adaptations in accordance with some objective(s). This a...