691 search results - page 93 / 139 » Automatically Proving Linearizability |
APSCC
2008
IEEE
14 years 4 months ago
2008
IEEE
This study is a creative and initial work focused on designing an intelligent living-space with automatic control system to control all home appliances in the living space. First ...
ISDA
2008
IEEE
14 years 4 months ago
2008
IEEE
This study focused on designing an intelligent living-space with automatic control system to control all home appliances in the space. First of all, the system was constructed wit...
SADFE
2008
IEEE
14 years 4 months ago
2008
IEEE
Secure logs are powerful tools for building systems that must resist forgery, prove temporal relationships, and stand up to forensic scrutiny. The proofs of order and integrity en...
ICAC
2007
IEEE
14 years 4 months ago
2007
IEEE
— Reactive systems are those that maintain an ongoing interaction with their environment at a speed dictated by the latter. Examples of such systems include web servers, network ...
ICDCS
2007
IEEE
14 years 4 months ago
2007
IEEE
Peer to peer (P2P) systems are moving from application specific architectures to a generic service oriented design philosophy. This raises interesting problems in connection with...