2838 search results - page 255 / 568 » Verifying Controlled Components |
115
click to vote
STEP
2005
IEEE
15 years 8 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...
136
click to vote
CCR
2004
15 years 2 months 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 11 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...
122
Voted
ICAC
2007
IEEE
15 years 8 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...
132
click to vote
MAM
2006
15 years 2 months ago
2006
Embedded systems are typically heterogeneous requiring interacting hardware and software components, are locally synchronous while being globally asynchronous and combine both con...