4325 search results - page 485 / 865 » Incremental computation with names |
181
click to vote
COMCOM
1998
15 years 6 months ago
1998
In this paper, we propose a new formalism, named the Timed Communicating Finite State Machine (Timed CFSM), for specifying and verifying time-critical systems. Timed CFSM preserve...
292
click to vote
JUCS
2002
15 years 6 months ago
2002
: The research belonging to the Abstract State Machines approach to system design and analysis is surveyed and documented in an annotated ASM bibliography. The survey covers the pe...
140
click to vote
JOC
1998
15 years 6 months ago
1998
We describe a software-e cient encryption algorithm named SEAL 3.0. Computational cost on a modern 32-bit processor is about 4 clock cycles per byte of text. The cipher is a pseudo...
167
click to vote
PRESENCE
1998
15 years 6 months ago
1998
The operation of six degree-of-freedom electromagnetic trackers is based on the spatial properties of the electromagnetic fields generated by three small coils. Anything in the e...
147
click to vote
TNN
1998
15 years 6 months ago
1998
— In this paper, we study a qualitative property of a class of competitive learning (CL) models, which is called the multiplicatively biased competitive learning (MBCL) model, na...