Today, the number of embedded system was applied in the field of automation and control has far exceeded a variety of general-purpose computer. Embedded system
Automata theory has played an important role in theoretical computer science since last couple of decades. The alge-braic automaton has emerged with several mod
We define a new type cryptographical model called secure multi-party proof that allows any players and a verifier to securely compute a function : each of the p
Domain analysis is essential to core assets development in software product line engineering. Most existing approaches, however, depend on domain experts’ expe
The ageing population in developed countries brings many benefits but also many challenges, particularly in terms of the development of appropriate technology t