5863 search results - page 875 / 1173 » On Model-Checking of P Systems |
145
click to vote
ENTCS
2006
15 years 6 months ago
2006
Global component behaviours as distinguished in Paradigm, offer the ingredients for specifying inter-component coordination in separation from and consistent with detailed compone...
159
click to vote
ENTCS
2006
15 years 6 months ago
2006
We present a semantics-based technique for modeling and analysing resource usage behaviour of programs written in a simple object oriented language like Java e code. The approach ...
144
click to vote
IJMMS
2006
15 years 6 months ago
2006
One of the major challenges in computer vision is to create automated systems that perform tasks with at least the same competences as human experts. In particular for automated i...
126
click to vote
IJSYSC
2006
15 years 6 months ago
2006
: This paper introduces two unique testbeds that have recently been developed at MIT to demonstrate coordination and control algorithms for teams of autonomous UAVs. The first test...
CORR
2007
Springer
15 years 6 months ago
2007
Springer
This paper reports on the systematic electromechanical characterization of a new three-axial force sensor used in dimensional metrology of micro components. The silicon based sens...