5325 search results - page 853 / 1065 » Effective Computation for Nonlinear Systems |
163
click to vote
IEEESCC
2005
IEEE
16 years 5 days ago
2005
IEEE
Service integration, the ultimate goal of Shanghai Grid, has created a necessity for more efficient and effective workflow infrastructure. Workflow design tool is one core compone...
146
click to vote
IPPS
2005
IEEE
16 years 5 days ago
2005
IEEE
This paper presents the design and the implementation of a compiler and runtime infrastructure for automatic program distribution. We are building a research infrastructure that e...
185
click to vote
IPPS
2005
IEEE
16 years 5 days ago
2005
IEEE
1 Electronic fair-exchange protocols have received significant attention from the research community in the recent past. In loose terms, the fair exchange problem is defined as at...
202
click to vote
ISORC
2005
IEEE
16 years 5 days ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
179
click to vote
QSHINE
2005
IEEE
16 years 5 days ago
2005
IEEE
Service availability in wireless networks is highly dependent on efficient resource allocation and guaranteed Quality of Service (QoS) amid overloads and failures. This paper add...