5961 search results - page 594 / 1193 » Design Science and Software Engineering |
182
click to vote
ASWEC
2006
IEEE
16 years 1 months 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...
183
click to vote
SCAM
2006
IEEE
16 years 1 months ago
2006
IEEE
Refactoring is about changing the design of existing code without changing its behaviour, but with the aim of making code easier to understand, modify, or reuse. Taking Haskell an...
167
click to vote
IUI
2006
ACM
16 years 1 months ago
2006
ACM
Based on our recent work on the development of a trust model for recommender agents and a qualitative survey, we explore the potential of building users’ trust with explanation ...
154
click to vote
AUIC
2005
IEEE
16 years 22 days ago
2005
IEEE
Thin-client diagramming tools provide a number of advantages over traditional thick-client design tools but are challenging to build. We describe an extension to a thick-client me...
188
click to vote
CSMR
2005
IEEE
16 years 21 days ago
2005
IEEE
Object-oriented applications are difficult to extend and maintain, due to the presence of implicit dependencies in the inheritance hierarchy. Although these dependencies often co...