4609 search results - page 590 / 922 » Automatic Generation of Sigma-Protocols |
187
click to vote
ICECCS
2002
IEEE
15 years 11 months ago
2002
IEEE
The characteristics of object-oriented software affect type and relevance of faults. In particular, the state of the objects may cause faults that cannot be easily revealed with t...
118
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
Automatic software reengineerings change or repair existing software systems. They are usually tailor-made for a specific customer and language dependent. Maintaining similar ree...
181
Voted
ACIVS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In this paper we present a method for unusual activity recognition that is used in home environment monitoring. Monitoring systems are needed in elderly persons homes to ...
187
click to vote
FPL
2009
Springer
15 years 11 months ago
2009
Springer
Reconfigurable systems are widely used nowadays to increase performance of computationally intensive applications. There exist a lot of synthesis tools that automatically generate...
150
click to vote
HAIS
2009
Springer
15 years 11 months ago
2009
Springer
This paper presents a hybrid artificial intelligent solution that helps to automatically generate proposals, aimed at improving the internal states of organization units from a Kno...