9989 search results - page 21 / 1998 » A CLP Approach to Modelling Systems |
114
click to vote
MMMACNS
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. We present a new model that provides clear and precise semantics for authorization. The semantics is independent from underling security mechanisms and is separate from i...
115
click to vote
GPCE
2007
Springer
15 years 9 months ago
2007
Springer
Every notion of a component for the development of embedded systems has to take heterogeneity into account: components may be hardware or software or OS, synchronous or asynchrono...
93
Voted
AUTOMATICA
2005
15 years 3 months ago
2005
This note furthers existing results on the model reduction of stable periodic systems. It utilizes for that matter a lifting technique to potentially attain less conservative erro...
120
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
2003
IEEE-ACM
The paper introduces a system model called the probabilistic asynchronous model which characterises the context in which many practical and the Internet-based applications are bui...
121
click to vote
ICPR
2004
IEEE
16 years 4 months ago
2004
IEEE
For the tasks of classification, two types of patterns can generate problems: ambiguous patterns and outliers. Furthermore, it is possible to separate classification algorithms in...