5707 search results - page 868 / 1142 » Symbolic Simulation - Techniques and Applications |
165
click to vote
ICEIS
2007
IEEE
16 years 1 months ago
2007
IEEE
Business process analysis ranges from model verification at design-time to the monitoring of processes at run-time. Much progress has been achieved in process verification. Today...
172
click to vote
ICMCS
2007
IEEE
16 years 1 months ago
2007
IEEE
Multimedia transmission over the Internet has its quality of service (QoS) requirement. However, Denial-of-Service (DoS) attacks launch large volumes of traffic and consume networ...
153
click to vote
ICMCS
2007
IEEE
16 years 1 months ago
2007
IEEE
We propose a discriminative learning approach for fusing multichannel sequential data with application to detect unsafe driving patterns from multi-channel driving recording data....
157
click to vote
ICPADS
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— We present a new distributed approach that establishes reputation-based trust among sensor nodes in order to identify malfunctioning and malicious sensor nodes and mini...
166
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— In this paper, the dynamic model of a robot with antagonistic actuated joints is presented, and the problem of full linearization via static state feedback is analyzed. The use...