1636 search results - page 224 / 328 » Reasoning About Quantum Systems |
149
click to vote
ICSM
2007
IEEE
16 years 18 days ago
2007
IEEE
Maintainability is a key quality attribute of successful software systems. However, its management in practice is still problematic. Currently, there is no comprehensive basis for...
179
click to vote
TACAS
2007
Springer
16 years 12 days ago
2007
Springer
The ad-hoc use of unions to encode disjoint sum types in C programs and the inability of C’s type system to check the safe use of these unions is a long standing source of subtle...
178
click to vote
ACMMSP
2006
ACM
16 years 8 days ago
2006
ACM
Open nesting provides a loophole in the strict model of atomic transactions. Moss and Hosking suggested adapting open nesting for transactional memory, and Moss and a group at Sta...
162
click to vote
RWEB
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The Web and the Semantic Web, as we see it, can be understood as a “living organism” combining autonomously evolving data sources, each of them possibly reacting to e...
189
click to vote
IWPSE
2003
IEEE
15 years 11 months ago
2003
IEEE
The dependencies and interrelations between classes and modules affect the maintainability of object-oriented systems. It is therefore important to capture weaknesses of the softw...