2251 search results - page 271 / 451 » Specification and Implementation Problems for C |
163
click to vote
4OR
2006
15 years 4 months ago
2006
Sorting models consist in assigning alternatives evaluated on several criteria to ordered categories. To implement such models it is necessary to set the values of the preference p...
134
click to vote
CONSTRAINTS
2002
15 years 4 months ago
2002
In this paper, we report the design and implementation of a constraint-based interactive train rescheduling tool, a project in collaboration with the International Institute for So...
138
click to vote
ACSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
Safe virtual execution (SVE) allows a host computer system to reduce the risks associated with running untrusted programs. SVE prevents untrusted programs from directly accessing ...
252
click to vote
ICDE
2005
IEEE
16 years 6 months ago
2005
IEEE
We address the problem of executing continuous multiway join queries in unpredictable and volatile environments. Our query class captures windowed join queries in data stream syst...
134
click to vote
VLSID
2007
IEEE
16 years 5 months ago
2007
IEEE
We present a technique for automatic verification of pipelined microprocessors using model checking. Antecedent conditioned slicing is an efficient abstraction technique for hardw...