2303 search results - page 225 / 461 » The Cryptographic Abstract Machine |
148
click to vote
ASM
2005
ASM
15 years 12 months ago
2005
ASM
Abstract. This paper presents a new approach to model and test hierarchical Graphical User Interfaces (GUIs). We exploit the structure of Hierarchical Finite State Machines (HFSMs)...
179
click to vote
IPTPS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract— Content sharing is a popular usage of peerto-peer systems for its inherent scalability and low cost of maintenance. In this paper, we leverage this nature of peer-to-pe...
160
click to vote
ISLPED
2003
ACM
15 years 11 months ago
2003
ACM
The power consumption of a sequential circuit can be reduced by decomposing it into subcircuits which can be turned off when inactive. Power can also be reduced by careful state e...
164
click to vote
ICTAC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Given a nite state machine denoting the speci cation of a system, nding some short interaction sequences capable to reach some/all states or transitions of this machine...
192
click to vote
ACSE
2000
ACM
15 years 10 months ago
2000
ACM
The Logo programming language implements a virtual drawing machine—the turtle machine. The turtle machine is well-known for giving students an intuitive understanding of fundame...