1643 search results - page 228 / 329 » Consistability: Describing Usually Consistent Systems |
150
Voted
UIST
1992
ACM
15 years 3 months ago
1992
ACM
Distributed clientisewer models are becoming increasingly prevalent in multimedia systems and advanced user interface design. A multimedia application, for example, may play and r...
ECOOP
2007
Springer
15 years 2 months ago
2007
Springer
Object invariants describe the consistency of object states, and are crucial for reasoning about the correctness of object-oriented programs. However, reasoning about object invari...
79
Voted
ECOOP
2006
Springer
15 years 2 months ago
2006
Springer
A session takes place between two parties; after establishing a connection, each party interleaves local computations and communications (sending or receiving) with the other. Ses...
100
click to vote
CHARME
2003
Springer
15 years 2 months ago
2003
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complete ...
103
click to vote
ACM
1995
15 years 2 months ago
1995
We study properties of rough sets, that is, approximations to sets of records in a database or, more formally, to subsets of the universe of an information system. A rough set is a...