5550 search results - page 615 / 1110 » Different Approaches to Proof Systems |
192
click to vote
SIGSOFT
2004
ACM
16 years 20 days ago
2004
ACM
Software models provide independent perspectives onto software systems. Ideally, all models should use the same model element to describe the same part of a system. Practically, m...
253
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: Automated extraction of protein-protein interactions (PPI) is an important and widely studied task in biomedical text mining. We propose a graph kernel based approach ...
198
click to vote
MJ
2007
15 years 6 months ago
2007
With increasingly smaller feature sizes and higher on-chip densities, the power dissipation of VLSI systems has become a primary concern for designers. This paper first describes...
205
click to vote
ISORC
2007
IEEE
16 years 1 months ago
2007
IEEE
As E-businesses are becoming ubiquitous, enhancing the performance and scalability of ebusiness systems has become an increasingly important topic of investigation. As Vitruvius (...
194
click to vote
CD
2004
Springer
16 years 19 days ago
2004
Springer
Physical boundaries have caused software systems to become less monolithic and more distributed. The trend is progressing to a point where software systems will consist of numerous...