11973 search results - page 2295 / 2395 » Methods for organizational development |
151
click to vote
CONCUR
2006
Springer
15 years 9 months ago
2006
Springer
One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to the correctness query by a counterexample to the satisfaction of the...
162
click to vote
DRM
2006
Springer
15 years 9 months ago
2006
Springer
One of the most fundamental problems in computer security is protecting sensitive digital information from unauthorized disclosure. There are a number of challenges, such as spywa...
121
click to vote
ECOOP
2006
Springer
15 years 9 months ago
2006
Springer
Adaptive Programming (AP) allows for the separate definition of data structures and traversals with attached computations, performed during the traversal, that operate on these dat...
134
click to vote
GECCO
2006
Springer
15 years 9 months ago
2006
Springer
The use of genotypic populations is necessary for adaptation in Evolutionary Algorithms. We use a technique called form-invariant commutation to study the immediate effect of evol...
128
click to vote
GFKL
2006
Springer
15 years 9 months ago
2006
Springer
Finding the right pricing for music downloads is of ample importance to the recording industry and music download service providers. For the recently introduced music downloads, re...