12774 search results - page 2435 / 2555 » A Framework for Proof Systems |
157
click to vote
CAISE
2004
Springer
15 years 12 months ago
2004
Springer
This paper describes the evolution and the results of the research work carried out by the IRIS group in the field of enterprise integration. This research work began with the ARD...
189
click to vote
CBSE
2004
Springer
15 years 12 months ago
2004
Springer
According to Szyperski, “a software component is a unit of composition with contractually specified interfaces and explicit context dependencies only”. But it is well known tha...
195
click to vote
CIKM
2004
Springer
15 years 12 months ago
2004
Springer
As the number of available Web pages grows, users experience increasing difficulty finding documents relevant to their interests. One of the underlying reasons for this is that mo...
181
click to vote
ECCV
2004
Springer
15 years 12 months ago
2004
Springer
Alignment between the input and target objects has great impact on the performance of image analysis and recognition system, such as those for medical image and face recognition. A...
241
click to vote
EMSOFT
2004
Springer
15 years 12 months ago
2004
Springer
Energy efficiency is rapidly becoming a first class optimization parameter for modern systems. Caches are critical to the overall performance and thus, modern processors (both hig...