1078 search results - page 37 / 216 » Modelling and Verifying of e-Commerce Systems |
110
click to vote
CAV
2005
Springer
15 years 5 months ago
2005
Springer
Statistical methods to model check stochastic systems have been, thus far, developed only for a sublogic of continuous stochastic logic (CSL) that does not have steady state operat...
VMCAI
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
114
click to vote
SCIA
2005
Springer
15 years 5 months ago
2005
Springer
Recently, a number of methods for 3-D modeling from images have been developed. However, the accuracy of a reconstructed model depends on camera positions and postures with which t...
ICRA
2008
IEEE
15 years 6 months ago
2008
IEEE
— Many surgical robots use cable-conduit pairs in a pull-pull configuration to actuate the instruments and transmit power into the patient’s body. Friction between the cable an...
EDOC
2006
IEEE
15 years 5 months ago
2006
IEEE
At present, with the expansion of information technologies at the industry, it is vital to implant proactive, self-managed systems that ensure continuous operation and, therefore,...