3458 search results - page 409 / 692 » Abstracting Control |
116
click to vote
IWSEC
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. With the digitization of society and the continuous migration of services to the electronic world, individuals have lost significant control over their data. In this pap...
128
click to vote
KI
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Rule-based programming paradigm is omnipresent in number of engineering domains. However, there are some fundamental semantical differences between it, and classic progr...
128
click to vote
SMALLTALK
2007
Springer
15 years 11 months ago
2007
Springer
To extract abstract views of the behavior of an object-oriented system for reverse engineering, a body of research exists that analyzes a system’s runtime execution. Those approa...
117
click to vote
SSS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We study the problem of global predicate detection in presence of permanent and transient failures. We term the transient failures as small faults. We show that it is imp...
140
click to vote
SSS
2007
Springer
15 years 11 months ago
2007
Springer
We present formal definitions of stabilization for the Timed I/O Automata (TIOA) framework, and of emulation for the timed Virtual Stationary Automata programming abstraction laye...