29172 search results - page 256 / 5835 » Modeling Systems in CLP |
157
click to vote
ESORICS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. As the use of computers and data communication technologies spreads, network security systems are becoming increasingly complex, due to the incorporation of a variety of ...
189
click to vote
ACSD
2003
IEEE
15 years 12 months ago
2003
IEEE
As modern embedded systems become more integrated and complex, it is crucial to be able to represent systems ple levels of abstraction, so that the design space can be effectively...
200
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper we present the results of a set of experiments we conducted in order to evaluate the viability of the behavioral synthesis, relying on the tools available at the mom...
248
click to vote
Publication
Transit travel time and operating speed influence service attractiveness, operating cost, and system efficiency. The objective of this paper is to estimate the values of parameters...
163
click to vote
COMPSAC
2007
IEEE
16 years 1 months ago
2007
IEEE
We present in this paper an adaptive security model for Multi-agent systems. A security meta-model has been developed in which the traditional role concept has been extended. The ...