1222 search results - page 122 / 245 » Verifying a File System Implementation |
124
Voted
AUIC
2006
IEEE
15 years 8 months ago
2006
IEEE
• This paper describes techniques for visualising pairs of similar trees. Our aim is to develop ways of presenting the information so as to highlight both the common structure of...
123
Voted
ICSM
2003
IEEE
15 years 8 months ago
2003
IEEE
As systems evolve, they become harder to understand because the implementation of concepts (e.g. business rules) becomes less coherent. To preserve source code comprehensibility, ...
138
Voted
MSS
1999
IEEE
15 years 7 months ago
1999
IEEE
Device Locks are mechanisms used in distributed environments to facilitate mutual exclusion of shared resources. They can further be used to maintain coherence of data that is cac...
107
Voted
ACMACE
2009
ACM
15 years 6 months ago
2009
ACM
The Zuzen framework is an intelligent tool set for assisting in the generation of machinima. With Zuzen, users that are novice cinematographers do not need to use complex movie-ma...
99
Voted
APWEB
2008
Springer
15 years 4 months ago
2008
Springer
The Word Wide Web has becoming one of the most important information repositories. However, information in web pages is free of standards in presentation, without being organized i...