2838 search results - page 255 / 568 » Verifying Controlled Components |
105
Voted
STEP
2005
IEEE
15 years 6 months ago
2005
IEEE
Interoperability in service oriented environments is heavily in uenced by the view that the cooperating services have on their data. e term service for the abstract contract concl...
124
click to vote
CCR
2004
15 years 26 days ago
2004
The science of network service composition has emerged as one of the grand themes of networking research [17] as a direct result of the complexity and sophistication of emerging n...
ICCD
2006
IEEE
15 years 10 months ago
2006
IEEE
—The technique of module-threading utilizes standard DDR DRAM components to build modified memory modules. These modified modules incorporate one or more additional control signa...
102
click to vote
ICAC
2007
IEEE
15 years 7 months ago
2007
IEEE
We present a generic architecture for developing fullyfledged autonomic systems out of non-autonomic components, and investigate how the architecture can be implemented using exi...
115
Voted
MAM
2006
15 years 29 days ago
2006
Embedded systems are typically heterogeneous requiring interacting hardware and software components, are locally synchronous while being globally asynchronous and combine both con...