2098 search results - page 102 / 420 » The Persistent Abstract Machine |
185
click to vote
CAV
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...
145
click to vote
SIGOPSE
1998
ACM
15 years 9 months ago
1998
ACM
Modern virtual machines, such as Java and Inferno, are emerging as network computing s. While these virtual machines provide higher-level abstractions and more sophisticated servi...
170
click to vote
AI
2008
Springer
15 years 5 months ago
2008
Springer
This article is inspired by recent psychological studies confirming that a child is not born a blank slate but has important innate capabilities. An important part of the "le...
177
click to vote
ESANN
2007
15 years 6 months ago
2007
Uncertainty is a popular phenomenon in machine learning and a variety of methods to model uncertainty at different levels has been developed. The aim of this paper is to motivate ...
165
click to vote
SOFSEM
2012
Springer
14 years 14 days ago
2012
Springer
Abstract. Various methods exists in the literature for denoting the configuration of a Turing Machine. A key difference is whether the head position is indicated by some integer ...