1643 search results - page 4 / 329 » Consistability: Describing Usually Consistent Systems |
IWPC
2005
IEEE
14 years 28 days ago
2005
IEEE
Approximately 70% of the source code of a software system consists of identifiers. Hence, the names chosen as identifiers are of paramount importance for the readability of comp...
ECSQARU
2007
Springer
14 years 1 months ago
2007
Springer
We describe COBA 2.0, an implementation of a consistency-based framework for expressing belief change, focusing on revision and contraction (possibly) incorporating integrity cons...
CGI
2006
IEEE
14 years 1 months ago
2006
IEEE
To edit or create the animation of a 3D character model has always been an important but time-consuming task, since the animator usually needs to set up the character’s skeleton,...
DSN
2003
IEEE
14 years 19 days ago
2003
IEEE
Clock-related operations are one of the many sources of replica non-determinism and of replica inconsistency in fault-tolerant distributed systems. In passive replication, if the ...
APSEC
2005
IEEE
14 years 29 days ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...