291 search results - page 47 / 59 » Interface Input Output Automata |
CCS
2004
ACM
15 years 3 months ago
2004
ACM
Magnetic stripe cards are in common use for electronic payments and cash withdrawal. Reported incidents document that criminals easily pickpocket cards or skim them by swiping the...
WSC
2008
15 years 2 months ago
2008
In this paper, we propose an integrated architecture for modeling, simulation, and execution of PLC (Programmable Logic Controller) based manufacturing system. The main objective ...
ICWE
2010
Springer
15 years 1 months ago
2010
Springer
: The use of patterns in data management is not new: in data warehousing, data marts are simple conceptual schemas with exactly one core entity, describing facts, surrounded by mul...
117
click to vote
HIPEAC
2010
Springer
15 years 1 months ago
2010
Springer
This paper presents a program generator for fast software Viterbi decoders for arbitrary convolutional codes. The input to the generator is a specification of the code and a single...
AIPS
2000
15 years 1 months ago
2000
The Remote Agent Experiment (RAX) on the Deep Space 1 (DS1) mission was the first time that an artificially intelligent agent controlled a NASA spacecraft. One of the key componen...