370 search results - page 12 / 74 » Service-Oriented Computing: State of the Art and Research Ch... |
162
click to vote
DAC
2010
ACM
15 years 9 months ago
2010
ACM
Post-silicon validation is used to detect and fix bugs in integrated circuits and systems after manufacture. Due to sheer design complexity, it is nearly impossible to detect and ...
181
click to vote
DEBU
2008
15 years 6 months ago
2008
Services Research Lab at the Knoesis center and the LSDIS lab at University of Georgia have played a significant role in advancing the state of research in the areas of workflow m...
156
click to vote
TPHOL
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract. How close are we to a world where every paper on programming languages is accompanied by an electronic appendix with machinechecked proofs? We propose an initial set of b...
133
click to vote
AHS
2007
IEEE
16 years 12 days ago
2007
IEEE
This paper reviews the current state of the art in highperformance reconfigurable computing (HPRC) from the perspective of EPCC, the high-performance computing centre at the Unive...
150
click to vote
ECIS
2001
15 years 7 months ago
2001
This paper gives an overview of the state of the art in the field of HCI (Human-Computer Interaction) and investigates the applicability of HCI research to the development of larg...