2407 search results - page 397 / 482 » A Tool for Abstraction in Model Checking |
111
click to vote
ADBIS
2009
Springer
15 years 4 months ago
2009
Springer
In this paper, we visit the problem of the management of inconsistencies emerging on ETL processes as results of evolution operations g at their sources. We abstract Extract-Transf...
123
click to vote
AUTONOMICS
2009
ACM
15 years 4 months ago
2009
ACM
Abstract. Autonomic computing is being advocated as a tool for managing large, complex computing systems. Specifically, self-organisation provides a suitable approach for developi...
GLOBECOM
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract—In this contribution we present a numerical approach to evaluate the bit error rate and mutual information of OFDM links affected by transmitter nonlinearities, phase no...
ICRA
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract—This paper considers the design of a novel closedloop trajectory tracking controller for an underactuated robotic airship having 6 degrees of freedom (DOF) and 3 control...
IROS
2008
IEEE
2008
IEEE
Optimal design of a 6-dof parallel measurement mechanism integrated in a 3-dof parallel machine-tool
15 years 4 months ago
Abstract— This paper presents the design and the optimization of a parallel machine-tool composed of (i) an 3-dof actuated parallel mechanism (a linear Delta) and (ii) a 6-dof me...