1128 search results - page 192 / 226 » Little Engines of Proof |
ICSM
2005
IEEE
15 years 3 months ago
2005
IEEE
To aid software analysis and maintenance tasks, a number of software clustering algorithms have been proposed to automatically partition a software system into meaningful subsyste...
84
Voted
SIGSOFT
2005
ACM
15 years 3 months ago
2005
ACM
Programs usually follow many implicit programming rules, most of which are too tedious to be documented by programmers. When these rules are violated by programmers who are unawar...
VMCAI
2005
Springer
15 years 2 months ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
97
Voted
CSCW
2004
ACM
15 years 2 months ago
2004
ACM
The lack of lightweight communication channels and other technical and sociological difficulties make it hard for new members of a non-collocated software development team to lea...
IMC
2003
ACM
15 years 2 months ago
2003
ACM
Border Gateway Protocol allows Autonomous Systems (ASs) to apply diverse routing policies for selecting routes and for propagating reachability information to other ASs. Although ...