3071 search results - page 246 / 615 » Explanatory Design Theory |
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...
244
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 1 months 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...
202
click to vote
IPPS
2006
IEEE
16 years 26 days ago
2006
IEEE
In heterogeneous distributed systems, such as Grids, a resource broker is responsible of automatically selecting resources, and mapping application tasks to them. A crucial aspect...