2661 search results - page 443 / 533 » Quantum Complexity Classes |
98
Voted
TACAS
2010
Springer
14 years 10 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
118
Voted
EKNOW
2009
14 years 10 months ago
2009
Modeling is a complex and central activity in many domains. Domain experts and designers usually work by drawing and create models from the middle-out; however, visual and middle-...
113
Voted
GI
2009
Springer
14 years 10 months ago
2009
Springer
: Static analysis techniques for consistency checking of workflows allow to avoid runtime errors. This is in particular crucial for long running workflows where errors, detected la...
157
Voted
ICEIS
2009
IEEE
14 years 10 months ago
2009
IEEE
Rearchitecturing large software systems becomes more and more complex after years of development and a growing size of the code base. Nonetheless, a constant adaptation of software...
111
click to vote
CORR
2010
Springer
14 years 10 months ago
2010
Springer
We consider deployment problems where a mobile robotic network must optimize its configuration in a distributed way in order to minimize a steady-state cost function that depends ...