12052 search results - page 560 / 2411 » computing 2010 |
183
click to vote
ENTCS
2007
15 years 7 months ago
2007
Many modern program verifiers translate the program to be verified and its specification into a simple intermediate representation and then compute verification conditions on ...
167
click to vote
EOR
2007
15 years 7 months ago
2007
The unconstrained quadratic binary program (UQP) is proving to be a successful modeling and solution framework for a variety of combinatorial optimization problems. Experience rep...
164
click to vote
DSS
2002
15 years 6 months ago
2002
We identify and address a fundamental general problem which we regard as crucial for the widespread, effective use of decision support systems (DSS) in the future: how can we subs...
170
click to vote
CIKM
2010
Springer
15 years 5 months ago
2010
Springer
This overview introduces the aim of the SMUC 2010 workshop, as well as the list of papers presented in the workshop. Categories and Subject Descriptors H.3 [Information Systems]: ...
328
click to vote
SOFTCOMP
2010
15 years 5 months ago
2010
Abstract This paper presents an extension of MOVICAB-IDS, a Hybrid Intelligent Intrusion Detection System characterized by incorporating temporal control to enable real-time proces...