1195 search results - page 56 / 239 » What, Where |
ICSE
2010
IEEE-ACM
13 years 7 months ago
2010
IEEE-ACM
Due to the negative impact of code cloning on software maintenance efforts as well as on program correctness [4–6], the duplication of code is generally viewed as problematic. ...
SLOGICA
2010
13 years 7 months ago
2010
Abstract. Representing an epistemic situation involving several agents obviously depends on the modeling point of view one takes. We start by identifying the types of modeling poin...
BIRTHDAY
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. In this survey on implicit induction I recollect some memories on the history of implicit induction as it is relevant for future research on computer-assisted theorem pro...
SIGSAND
2008
13 years 10 months ago
2008
: Value-based requirements engineering focuses on the alignment of requirements engineering decisions and business value decisions. There is much evidence on the importance of this...
ECSCW
2001
13 years 10 months ago
2001
Single Display Groupware (SDG) supports face-to-face collaborators working over a single shared display, where all people have their own input device Although SDG is simple in conc...