13383 search results - page 2290 / 2677 » Abstractions from proofs |
162
click to vote
ICUMT
2009
15 years 2 months ago
2009
We describe the main architecture and the design principles of the Service/Resource Discovery System (SRDS), a component of the XtreemOS Operating System. XtreemOS is a Linux exten...
149
Voted
ICWN
2009
15 years 2 months ago
2009
Abstract-- The reliable delivery of services in service oriented architectures often entails the underlying basis of having well structured system and communication network models....
161
click to vote
ICWN
2009
15 years 2 months ago
2009
Abstract-- The next generation of computers will be embossed by ubiquitous systems. The computer will disappear behind daily artifacts and will support people in their everyday lif...
159
click to vote
ICWS
2009
IEEE
15 years 2 months ago
2009
IEEE
Web service paradigm and related technologies have provided favorable means for the realization of collaborative business processes. From both conceptual and implementation points...
147
click to vote
IEEEPACT
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract--Chip-MultiProcessor (CMP) architectures are becoming more and more popular as an alternative to the traditional processors that only extract instruction-level parallelism...