949 search results - page 80 / 190 » Lightweight Formal Methods for Computer Algebra Systems |
FMCO
2007
Springer
13 years 11 months ago
2007
Springer
We propose a framework for component-based modeling of distributed systems. It provides separation of concerns between computation (in object oriented components), coordination (vi...
CALCO
2005
Springer
14 years 1 months ago
2005
Springer
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
IROS
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— In this paper, the coupling between Jacobian learning and task sequencing through the redundancy approach is studied. It is well known that visual servoing is robust to...
SAC
2003
ACM
14 years 29 days ago
2003
ACM
A fundamental issue in the engineering of coordination models is n coordination abstractions that are correct with respect to the specification of the coordination model they imp...
SAC
2008
ACM
13 years 7 months ago
2008
ACM
The impossibility of current spatial database systems and GIS to handle spatial vagueness and imprecision has been recognized as an important problem in the spatial database domai...