4285 search results - page 749 / 857 » Differential Behavioral Analysis |
CPAIOR
2008
Springer
15 years 2 months ago
2008
Springer
Solution-Guided Multi-Point Constructive Search (SGMPCS) is a complete, constructive search technique that has been shown to out-perform standard constructive search techniques on ...
110
Voted
ESEM
2007
ACM
15 years 2 months ago
2007
ACM
An important number of studies have addressed the importance of models in software engineering, mainly in the design of robust software systems. Although models have been proven t...
103
Voted
DCOSS
2008
Springer
15 years 2 months ago
2008
Springer
We describe LiveNet, a set of tools and analysis methods for reconstructing the complex behavior of a deployed sensor network. LiveNet is based on the use of multiple passive packe...
109
Voted
DSOM
2008
Springer
15 years 2 months ago
2008
Springer
Incident Management is the process through which IT support organizations manage to restore normal service operation after a service disruption. The complexity of IT support organi...
112
Voted
ECAI
2008
Springer
15 years 2 months ago
2008
Springer
Recent contributions to advancing planning from the classical model to more realistic problems include using temporal logic such as LTL to express desired properties of a solution ...