27 search results - page 2 / 6 » Extending noninterference properties to the timed world |
FMCAD
2008
Springer
13 years 6 months ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
PODC
1990
ACM
13 years 9 months ago
1990
ACM
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...
TPLP
2010
13 years 3 months ago
2010
The need for integration of ontologies with nonmonotonic rules has been gaining importance in a number of areas, such as the Semantic Web. A number of researchers addressed this p...
ICSE
2004
IEEE-ACM
14 years 5 months ago
2004
IEEE-ACM
Because it takes time and trust to establish agreement, traditional consensus-based architectural styles cannot safely accommodate resources that change faster than it takes to tr...
CORR
2006
Springer
13 years 4 months ago
2006
Springer
Many real world data are sampled functions. As shown by Functional Data Analysis (FDA) methods, spectra, time series, images, gesture recognition data, etc. can be processed more e...