2838 search results - page 84 / 568 » Verifying Controlled Components |
ERSA
2006
14 years 11 months ago
2006
Abstract-- In this work the problem of modeling reconfigurable systems behavior with a precise, executable semantics is considered. The possibility of synthesising such models onto...
ACSAC
1998
IEEE
15 years 2 months ago
1998
IEEE
A business's success depends on its ability to protect valuable business assets in an increasingly hostile environment. Protecting information requires a cost, not only in pu...
BIOINFORMATICS
2004
14 years 9 months ago
2004
Motivation: A microarray experiment is a multi-step process, and each step is a potential source of variation. There are two major sources of variation: biological variation and t...
GPCE
2008
Springer
14 years 11 months ago
2008
Springer
A user interface, such as a dialog, assists a user in synthesising a set of values, typically parameters for a command object. Code for “command parameter synthesis” is usuall...
ENTCS
2008
14 years 10 months ago
2008
Object orientation and component-based development have both proven useful for the elaboration of open distributed systems. These paradigms are offered by the Creol language. Creo...