3444 search results - page 320 / 689 » A Theory of Object-Oriented Design |
137
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Urban simulation systems can be a powerful tool for helping to understand the complex, long-term consequences of urban planning decisions. Simulation results are summarized and re...
188
click to vote
ECBS
2007
IEEE
16 years 1 months ago
2007
IEEE
Architectural quality constitutes a critical factor for contemporary software systems, especially because of their size and the needs for frequent, quick changes. For success-crit...
243
click to vote
ADAPTIVE
2007
Springer
16 years 1 months ago
2007
Springer
One of the potent personalization technologies powering the adaptive web is collaborative filtering. Collaborative filtering (CF) is the process of filtering or evaluating items th...
166
click to vote
ICWE
2007
Springer
16 years 29 days ago
2007
Springer
Combining expressiveness and plainness in the design of web documents is a difficult task. Validation languages are very powerful and designers are tempted to over-design specific...
175
Voted
ASWEC
2006
IEEE
16 years 27 days ago
2006
IEEE
This paper describes the formalisation of Java thread synchronisation in an extended Owicki-Gries theory, which facilitates the proof of safety and progress properties of multi-th...