2303 search results - page 62 / 461 » The Cryptographic Abstract Machine |
111
Voted
CORR
2007
Springer
15 years 2 months ago
2007
Springer
Abstract. Control code is a concept that is closely related to a frequently occurring practitioner’s view on what is a program: code that is capable of controlling the behaviour ...
191
Voted
NADA
1998
Springer
15 years 6 months ago
1998
Springer
abstractions to focus on principle issues and impose structure - Model behaviour - Determine correctness - Recursive equational axiomatisations with precise semantics yet algorithm...
100
Voted
ICAI
2004
15 years 4 months ago
2004
on of Abstracts, the University of Georgia, Athens 2003.
121
Voted
ICML
2010
IEEE
15 years 18 days ago
2010
IEEE
In this paper, we consider online prediction from expert advice in a situation where each expert observes its own loss at each time while the loss cannot be disclosed to others fo...
118
Voted
FDL
2005
IEEE
15 years 8 months ago
2005
IEEE
Heterogeneous system specifications implicitly assume parallel execution of their components that rely on supporting platform architectures and operating systems. Unfortunately, c...