1716 search results - page 188 / 344 » Proving Conditional Termination |
107
click to vote
SMC
2007
IEEE
15 years 7 months ago
2007
IEEE
—In Service Oriented Architecture (SOA), service brokers could find many service providers which offer same function with different quality of service (QoS). Under this condition...
78
Voted
ECAL
2007
Springer
15 years 7 months ago
2007
Springer
The human body has a complex skeleton, giving a very high number of degrees of freedom, and is actuated by a large number of elastic elements muscles and tendons. As a consequence,...
108
click to vote
CSFW
2006
IEEE
15 years 6 months ago
2006
IEEE
Recently, there has been much interest in extending models for simulation-based security in such a way that the runtime of protocols may depend on the length of their input. Findi...
IPPS
2006
IEEE
15 years 6 months ago
2006
IEEE
Cooperative checkpointing uses global knowledge of the state and health of the machine to improve performance and reliability by dynamically deciding when to skip checkpoint reque...
119
click to vote
CIG
2005
IEEE
15 years 6 months ago
2005
IEEE
Abstract- Recently, P2P (peer-to-peer) online game systems have attracted a great deal of public attention. They work without central servers, thus, the maintenance and organizatio...