1128 search results - page 71 / 226 » Little Engines of Proof |
SCAM
2007
IEEE
15 years 3 months ago
2007
IEEE
ames make or break abstractions: good ones communicate the intention of the method, whereas bad ones cause confusion and frustration. The task of naming is subject to the whims an...
99
Voted
WCRE
2007
IEEE
15 years 3 months ago
2007
IEEE
Code Cloning is regarded as a threat to software maintenance, because it is generally assumed that a change to a code clone usually has to be applied to the other clones of the cl...
ATAL
2007
Springer
15 years 3 months ago
2007
Springer
Multiagent systems (MAS) research is well established yet there is little development of agent technology in industry. It has been suggested that this is due, in part, to the unav...
94
Voted
ISPW
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper shows that process definition and analysis technologies can be used to reason about the vulnerability of election processes with respect to incorrect or fraudulent behav...
74
Voted
ISWC
2006
IEEE
15 years 3 months ago
2006
IEEE
Construction kits have long been popular as educational artifacts, supporting and encouraging creative explorations of engineering and design; but to date, such kits have had litt...