1301 search results - page 53 / 261 » Specifications via Realizability |
LATA
2010
Springer
14 years 7 months ago
2010
Springer
Timed automata has been used as a powerful formalism for specifying, designing, and analyzing real time systems. We consider the generalization of timed automata to Pushdown Timed ...
ASAP
2009
IEEE
14 years 7 months ago
2009
IEEE
McEliece scheme represents a code-based public-key cryptosystem. So far, this cryptosystem was not employed because of efficiency questions regarding performance and communicatio...
BSN
2006
IEEE
14 years 4 months ago
2006
IEEE
For small, inexpensive, ubiquitous wireless sensors to be realized, all constituents of the device, including the power source, must be directly integratable. For long term applic...
IWSAS
2001
Springer
14 years 2 months ago
2001
Springer
: Self-adaptive software systems use observations of their own behavior, and that of their environment, to select and enact adaptations in accordance with some objective(s). This a...
FSTTCS
2000
Springer
14 years 1 months ago
2000
Springer
This paper reports on results concerning the combination of non-standard semantics via interpreters. We define what a semantics combination means and identify under which condition...