4636 search results - page 139 / 928 » Modelling and Validation with VipTool |
MATES
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In this paper, an integrated approach for the modeling and the validation through simulation of multi-agent systems is proposed. The approach centers on the instantiation...
TIME
2003
IEEE
14 years 1 months ago
2003
IEEE
In bitemporal databases, current facts and transaction states are modelled using a special value to represent the current time (such as a minimum or maximum timestamp or NULL). Pr...
ETS
2002
IEEE
13 years 7 months ago
2002
IEEE
We develop a scheme for representing critical non-functional requirements (NFRs), and apply it to the domain of multimedia educational software (MES) to validate it. Our approach ...
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
— An online intention recognition algorithm for computer-assisted teleoperation is introduced. The algorithm is able to distinguish between phases of a typical object manipulatio...
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
— The paper studies the observability properties of the relative localization of two Autonomous Underwater Vehicles (AUVs) equipped with depth sensors, linear/angular velocity se...