3667 search results - page 566 / 734 » Software Rejuvenation - Modeling and Analysis |
CSCW
2008
ACM
13 years 10 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...
ENDM
2010
13 years 10 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...
BMCBI
2006
13 years 10 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...
IJAOSE
2008
13 years 10 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 ...
CORR
2007
Springer
13 years 10 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...