TASE
2010
IEEE
13 years 2 months ago
2010
IEEE
The feedforward compensation of nonlinearities, i.e., hysteresis and creep, and unwanted vibrations in micromanipulators is presented in this paper. The aim is to improve the gener...
TASE
2010
IEEE
13 years 2 months ago
2010
IEEE
System and program verification has been a large
TAOSD
2010
13 years 2 months ago
2010
The idea behind Aspect-Oriented Modeling (AOM) is to apply aspect-oriented techniques to (software) models with the aim of modularizing crosscutting concerns. This can be done with...
STVR
2010
13 years 2 months ago
2010
STVR
2010
13 years 2 months ago
2010
As we move to developing object-oriented programs, the complexity traditionally found in functions and procedures is moving to the connections among components. Different faults o...
STTT
2010
13 years 2 months ago
2010
ion/refinement solvers1 Andreas Bauer , Martin Leucker , Christian Schallhart , Michael Tautschnig Computer Sciences Laboratory, Australian National University Institut f
STTT
2010
13 years 2 months ago
2010
Abstract. Partial order reduction limits the state explosion problem that arises in model checking by limiting the exploration of redundant interleavings. A state space search algo...
STTT
2010
13 years 2 months ago
2010
traction Refinement: A Game Semantic Approach Adam Bakewell2 , Aleksandar Dimovski1 , Dan R. Ghica2 , Ranko Lazi
STTT
2010
13 years 2 months ago
2010
Abstract. We report here on an experimental investigation of LTL satisfiability checking via a reduction to model checking. By using large LTL formulas, we offer challenging model-...
STTT
2010
13 years 2 months ago
2010
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...