900 search results - page 131 / 180 » Object-Oriented Software Testing: Some Research and Developm... |
103
click to vote
RECOMB
2005
Springer
16 years 1 months ago
2005
Springer
This paper proposes a novel tree decomposition based side-chain assignment algorithm, which can obtain the globally optimal solution of the side-chain packing problem very efficien...
119
click to vote
SIMULATION
2010
14 years 8 months ago
2010
We introduce and describe a novel network simulation tool called NeSSi (Network Security Simulator). NeSSi incorporates a variety of features relevant to network security distingu...
203
click to vote
POPL
2008
ACM
16 years 1 months ago
2008
ACM
Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a s...
103
click to vote
AIME
2005
Springer
15 years 7 months ago
2005
Springer
Time, events, changes, and processes play a major role in medical conceptual modeling. Representation of time-structures and reasoning about time-oriented medical data are importan...
GECCO
2004
Springer
15 years 6 months ago
2004
Springer
Verifying the published results of algorithms is part of the usual research process. This helps to both validate the existing literature, but also quite often allows for new insigh...