2838 search results - page 365 / 568 » Verifying Controlled Components |
113
click to vote
DSONLINE
2006
15 years 21 days ago
2006
We propose extending these middleware approaches with suitable abstractions to better support protocolbased interaction in mobile applications. To test our approach, we created Obj...
87
Voted
IOR
2006
15 years 20 days ago
2006
We consider a system in which a single finished good is assembled from two components. Demand for the finished product is stochastic and stationary, and procurement and assembly l...
111
click to vote
CCGRID
2008
IEEE
15 years 7 months ago
2008
IEEE
— Diffusion Tensor Imaging (DTI) provides insight into the white matter of the human brain, which is affected by Schizophrenia. By comparing a patient group to a control group, t...
INFOCOM
2005
IEEE
15 years 6 months ago
2005
IEEE
— Multi-tier Internet service clusters often contain complex calling dependencies among service components spreading across cluster nodes. Without proper handling, partial failur...
107
Voted
FPGA
2004
ACM
15 years 6 months ago
2004
ACM
The speedup over a microprocessor that can be achieved by implementing some programs on an FPGA has been extensively reported. This paper presents an analysis, both quantitative a...