3765 search results - page 564 / 753 » Formal Methods for Systems Engineering Behavior Models |
162
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
158
click to vote
ICAC
2007
IEEE
16 years 27 days ago
2007
IEEE
An autonomic problem determination system can adapt to changing environments, react to existing or new error condition and predict possible problems. In this report, we propose su...
163
click to vote
SIGGRAPH
1991
ACM
15 years 10 months ago
1991
ACM
We present an interactive modeling and animation system that facilitates the integration of a variety of simulation and animation paradigms. This system permits the modeling of di...
164
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Synthesis is the automatic construction of a system from its specification. In the classical synthesis algorithms it is always assumed the system is “constructed from ...
156
click to vote
APSEC
2005
IEEE
16 years 6 days ago
2005
IEEE
In component-based software development, it is important to ensure interoperability between components based on their unambiguous semantic descriptions, in order to obtain a viabl...