6016 search results - page 1119 / 1204 » The semantics of graphical languages |
157
click to vote
DSRT
2009
IEEE
15 years 9 months ago
2009
IEEE
Base Object Model (BOM) is a component-based standard designed to support reusability and Composability. Reusability helps in reducing time and cost of the development of a simula...
148
click to vote
ESORICS
2009
Springer
15 years 9 months ago
2009
Springer
Noninterference requires that public outputs of a program must be completely independent from secrets. While this ensures that secrets cannot be leaked, it is too restrictive for m...
166
Voted
HASE
2007
IEEE
15 years 9 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
175
Voted
FMICS
2009
Springer
15 years 9 months ago
2009
Springer
The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software...
159
click to vote
ATVA
2006
Springer
15 years 9 months ago
2006
Springer
In synthesis we construct finite state systems from temporal specifications. While this problem is well understood in the classical setting of non-probabilistic synthesis, this pap...