1415 search results - page 251 / 283 » Verified systems by composition from verified components |
SOSP
2007
ACM
14 years 4 months ago
2007
ACM
Researchers have made great strides in improving the fault tolerance of both centralized and replicated systems against arbitrary (Byzantine) faults. However, there are hard limit...
RTSS
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—Many embedded platforms consist of a heterogeneous collection of processing elements, memory modules, and communication subsystems. These components often implement diff...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
Matchmaking will be an important component of future agent and agent-like systems, such as the semantic web. Most research on matchmaking has been directed toward sophisticated ma...
EUROMICRO
2009
IEEE
13 years 11 months ago
2009
IEEE
Redundancy can improve the availability of components in service-oriented systems. However, predicting and quantifying the effects of different redundancy strategies can be a comp...
ICIA
2007
13 years 10 months ago
2007
As computer systems continue to grow in power and access more networked content and services, we believe there will be an increasing need to provide more user-centric systems that...