9067 search results - page 527 / 1814 » Adaptive Model Checking |
204
click to vote
ANOR
2008
15 years 7 months ago
2008
This paper deals with the job-shop scheduling problem with sequencedependent setup times. We propose a new method to solve the makespan minimization problem to optimality. The met...
195
Voted
ENTCS
2006
15 years 7 months ago
2006
Properties such as logging, persistence, debugging, tracing, distribution, performance monitoring and exception handling occur in most programming paradigms and are normally very ...
199
click to vote
JUCS
2006
15 years 7 months ago
2006
: Functional-logic programming amalgamates some of the main features of both functional and logic styles into a single paradigm. Nevertheless, negation is a widely investigated fea...
219
click to vote
MSCS
2006
15 years 7 months ago
2006
We present a dynamic logic for reasoning about information flow in quantum programs. In particular, we give a finitary syntax and a relational semantics for a Logic of Quantum Pro...
196
click to vote
PVLDB
2008
15 years 6 months ago
2008
The number of successful attacks on the Internet shows that it is very difficult to guarantee the security of online search engines. A breached server that is not detected in time...