3358 search results - page 311 / 672 » Dynamic Description Logics |
201
click to vote
FAC
2010
15 years 4 months ago
2010
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...
179
click to vote
IPPS
2006
IEEE
16 years 25 days ago
2006
IEEE
Dynamically allocating computing nodes to parallel applications is a promising technique for improving the utilization of cluster resources. We introduce the concept of dynamic ef...
171
click to vote
ICRA
2005
IEEE
16 years 12 days ago
2005
IEEE
— This paper describes the dynamic modeling of linear object deformation based on differential geometry coordinates. Deformable linear objects such as cables and strings are wide...
211
click to vote
CSMR
2002
IEEE
15 years 11 months ago
2002
IEEE
Static analysis aims at recovering the structure of a software system, while dynamic analysis focuses on its run time behaviour. We propose a technique for combining the analysis ...
184
click to vote
CAD
2000
Springer
15 years 6 months ago
2000
Springer
This paper presents a novel methodology for deriving the dynamic equations of mechatronic systems from component models that are represented as linear graphs. This work is part of...