Sciweavers

1649 search results - page 13 / 330
» On-Line Change Mechanisms
Sort
View
AMC
2007
100views more  AMC 2007»
14 years 11 months ago
An alternative proof for the explicit equations of motion for mechanical systems with independent non-ideal constraints
An alternative proof for the explicit equations of motion for mechanical systems with independent non-ideal constraints is proposed in this paper. These equations are derived with...
Po Chih Chen, Chia-Ou Chang, W. T. Chang Chien
SIGSOFT
2010
ACM
14 years 6 months ago
Language-based verification will change the world
We argue that lightweight, language-based verification is poised to enter mainstream industrial use, where it will have a major impact on software quality and reliability. We expl...
Tim Sheard, Aaron Stump, Stephanie Weirich
SEMWEB
2005
Springer
15 years 5 months ago
Ontology Change Detection Using a Version Log
In this article, we propose a new ontology evolution approach that combines a top-down and a bottom-up approach. This means that the manual request for changes (top-down) by the on...
Peter Plessers, Olga De Troyer
ATAL
2005
Springer
15 years 5 months ago
Coordinating change of agents' states in situated agents models
Situated Multi Agent System models are characterized by the representation and exploitation of spatial information related to agents, the environment they inhabit and their positi...
Giuseppe Vizzari, Stefania Bandini
CERA
2002
134views more  CERA 2002»
14 years 11 months ago
Design Parameterization for Concurrent Design and Manufacturing of Mechanical Systems
Design changes are frequently encountered in the product development process. The complexity of the design changes is multiplied when the product design involves multiple engineer...
Javier Silva, Kuang-Hua Chang