1078 search results - page 37 / 216 » Modelling and Verifying of e-Commerce Systems |
145
click to vote
CAV
2005
Springer
15 years 9 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...
127
click to vote
VMCAI
2005
Springer
15 years 9 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...
154
click to vote
SCIA
2005
Springer
15 years 9 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...
117
click to vote
ICRA
2008
IEEE
15 years 10 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...
114
click to vote
EDOC
2006
IEEE
15 years 10 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,...