1004 search results - page 54 / 201 » Modeling and Control - Flexible Structure Spacecraft |
137
click to vote
TACS
2001
Springer
15 years 8 months ago
2001
Springer
We propose the πD -calculus, a process calculus that can flexibly model fine-grained control of resource access in distributed computation, with a type system that statically pr...
116
Voted
TROB
2002
15 years 3 months ago
2002
A dual neural network is presented for the bi-criteria kinematic control of redundant manipulators. To diminish the discontinuity of minimum infinity-norm solutions, the kinematicc...
105
click to vote
XSYM
2007
Springer
15 years 10 months ago
2007
Springer
Nowadays, concurrency control for XML data is a big research problem. There are a number of researchers working on this problem, but most of the proposed methods are based on the ...
113
click to vote
ICICIC
2006
IEEE
15 years 10 months ago
2006
IEEE
The accurate control of process parameters is particularly important for the growth of high quality structures during laser cladding. Melt pool size and cross sectional area are k...
143
click to vote
ETRICS
2006
15 years 7 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...