3038 search results - page 221 / 608 » Controlling Engineering Problem Solving |
194
click to vote
ASPDAC
2011
ACM
14 years 10 months ago
2011
ACM
— Code coverage is a popular method to find design bugs and verification loopholes. However, once a piece of code is determined to be unreachable, diagnosing the cause of the p...
142
click to vote
CDC
2008
IEEE
16 years 24 days ago
2008
IEEE
— This paper deals with the tracking problem for constrained linear systems using a model predictive control (MPC) law. As it is well known, MPC provides a control law suitable f...
290
click to vote
AGP
2010
IEEE
15 years 11 months ago
2010
IEEE
Constraint Logic Programming (CLP) is one of the most successful branches of Logic Programming; it attracts the interest of theoreticians and practitioners, and it is currently use...
127
click to vote
ICSE
2009
IEEE-ACM
15 years 11 months ago
2009
IEEE-ACM
In this paper we address the problem of combining software components with different and possibly incompatible legal licenses to create a software application that does not viola...
182
click to vote
GRID
2007
Springer
15 years 6 months ago
2007
Springer
In this paper, we present a role-based access control method for accessing databases through the Open Grid Services Architecture – Data Access and Integration (OGSA-DAI) framewor...