1297 search results - page 86 / 260 » Control of systems integrating logic, dynamics, and constrai... |
169
click to vote
FASE
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems' resources. These permissions enf...
103
click to vote
ENTCS
2006
15 years 1 months ago
2006
We propose a formal method to validate the reliability of a web application, by modeling interactions among its constituent objects. Modeling exploits the recent "Multiple Le...
113
click to vote
CDC
2009
IEEE
14 years 11 months ago
2009
IEEE
In many applicative scenarios it is important to derive information about the topology and the internal connections of more dynamical systems interacting together. Examples can be ...
108
click to vote
ECBS
2009
IEEE
15 years 8 months ago
2009
IEEE
With the pressing in-time-market towards customized services, software product lines (SPL) are increasingly characterizing most of software landscape. SPL are mainly structured th...
124
click to vote
COOPIS
2003
IEEE
15 years 6 months ago
2003
IEEE
Abstract. Flora-2 is a rule-based object-oriented knowledge base system designed for a variety of automated tasks on the Semantic Web, ranging from meta-data management to informat...