5550 search results - page 350 / 1110 » Different Approaches to Proof Systems |
167
click to vote
ASE
2006
15 years 6 months ago
2006
Recently, more attention is paid to the researches and practices on how to use software architecture in software maintenance and evolution to reduce their complexity and cost. The ...
203
click to vote
WSC
2000
15 years 8 months ago
2000
This paper describes an object-orientated simulation approach towards an integrated planning of production systems. The main obstacle for an integrated use of simulation over diff...
174
click to vote
LCTRTS
2007
Springer
16 years 28 days ago
2007
Springer
As memory speeds and bus capacitances continue to rise, external memory bus power will make up an increasing portion of the total system power budget for system-on-a-chip embedded...
160
click to vote
EMMCVPR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper, we present an automatic human portrait system based on the And-Or graph representation. The system can automatically generate a set of life-like portraits ...
212
click to vote
TELECARE
2004
15 years 8 months ago
2004
Nowadays the scientific community is trying to design new techniques in the search for solving security problems in mobile agent technology. There are now some industry initiatives...