1525 search results - page 222 / 305 » Formal Models for Communication-Based Design |
108
click to vote
JCS
2008
15 years 21 days ago
2008
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
108
Voted
CSCWD
2001
Springer
15 years 5 months ago
2001
Springer
The authors have developed a new approach to database interoperability using the sketch data model. That technique has now been used in a number of applications, but an important ...
112
click to vote
RTSS
1999
IEEE
15 years 5 months ago
1999
IEEE
In this paper, we demonstrate a high-level approach to modeling and analyzing complex safety-critical systems through a case study in the area of air traffic management. In partic...
214
click to vote
GIS
2004
ACM
16 years 1 months ago
2004
ACM
act Model of Three-Dimensional Spatial Data Types Markus Schneider & Brian E Weinrich University of Florida Department of Computer & Information Science & Engineering G...
122
Voted
CODES
2008
IEEE
15 years 7 months ago
2008
IEEE
The heterogeneity of modern MPSoC architectures, coupled with the increasing complexity of the applications mapped onto them has recently led to a lot of interest in hybrid perfor...