3667 search results - page 566 / 734 » Software Rejuvenation - Modeling and Analysis |
137
click to vote
CSCW
2008
ACM
15 years 3 months ago
2008
ACM
This paper discusses how a new technology (designed to help pupils with learning about Shakespeare's Macbeth) is introduced and integrated into existing classroom practices. I...
129
click to vote
ENDM
2010
15 years 3 months ago
2010
Verifying that a piece of software has no bugs means proving that it has certain desired properties, such as an array index not taking values outside certain Abstract interpretati...
106
click to vote
BMCBI
2006
15 years 3 months ago
2006
nd: The need to depict a phylogeny, or some other kind of abstract tree, is very frequently experienced by researchers from a broad range of biological and computational disciplin...
108
click to vote
IJAOSE
2008
15 years 3 months ago
2008
: This paper presents the Process for Agent Specification, Simulation and Implementation (PASSIM), a simulation-based development process for Multi-agent Systems (MASs), which was ...
92
Voted
CORR
2007
Springer
15 years 3 months ago
2007
Springer
Integer octagonal constraints (a.k.a. Unit Two Variables Per Inequality or UTVPI integer constraints) constitute an interesting class of constraints for the representation and solu...