1078 search results - page 139 / 216 » Modelling and Verifying of e-Commerce Systems |
128
click to vote
DAC
1999
ACM
15 years 8 months ago
1999
ACM
We present our practical experience in the modeling and integration of cycle/phase-accurate instruction set architecture (ISA) models of digital signal processors (DSPs) with othe...
124
click to vote
SPIN
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...
127
click to vote
DCC
2008
IEEE
16 years 4 months ago
2008
IEEE
We studied the problem of distributed coding and transmission of intercorrelated sources with memory. Different from the conventional distributed source coding structure which rel...
139
click to vote
CIRA
2007
IEEE
15 years 11 months ago
2007
IEEE
—Many researchers have been encouraged to investigate the design, posture and stability of biped robots in order to replicate the anthropoid gait. This paper addresses the design...
119
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— In this paper we present four methods for the identification of the inertial parameters of the load of a manipulator. The knowledge of the values of these parameters can be use...