6978 search results - page 1231 / 1396 » On Proofs in System P |
CISIS
2008
IEEE
14 years 3 months ago
2008
IEEE
In 2006, John Mellor-Crummey and Michael Scott received the Dijkstra Prize in Distributed Computing. This prize was for their 1991 paper on algorithms for scalable synchronization ...
DATE
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper presents an integrated approach to energy harvester modelling and performance optimisation where the complete mixed physical-domain energy harvester system (micro gener...
GLOBECOM
2008
IEEE
14 years 3 months ago
2008
IEEE
— Time-interleaved (TI) analog-to-digital converters (ADCs) are a promising architecture for realizing the highspeed ADCs required to implement “mostly digital” receivers for...
HICSS
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper we describe mechanisms for execution monitoring of semantic web services, based on OWL-S. The use of semantic descriptions and ontologies is a valuable extension to ...
HICSS
2008
IEEE
14 years 3 months ago
2008
IEEE
Designing web sites that are responsive to customer needs is a critical prerequisite for the success of online services. Recently, a usability evaluation procedure, based on the M...