12084 search results - page 245 / 2417 » Effect Systems with Subtyping |
174
click to vote
WSC
2001
15 years 8 months ago
2001
Prior to the deployment of any new or replacement component within a transportation system, it should be demonstrated that the modified system meets or exceeds the safety requirem...
146
click to vote
ICMCS
2010
IEEE
15 years 8 months ago
2010
IEEE
Traditional 3D audio systems often have a limited sweet spot for the user to perceive 3D effects successfully. In this paper, we present a personal 3D audio system with loudspeake...
176
click to vote
IJRR
2008
15 years 7 months ago
2008
: In this paper, we present a sampling-based verification algorithm for continuous dynamic systems with uncertainty due to adversaries, unmodeled disturbance inputs, unknown parame...
168
click to vote
CISIS
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract. We focus on discrete event systems with a structure of parallel processing, synchronization, and noconcurrency. We use max-plus algebra, which is an effective approach fo...
188
click to vote
WETICE
2005
IEEE
16 years 24 days ago
2005
IEEE
Since there is no method to verify the trustworthiness of shared files in P2P systems, malicious peers can spread untrustworthy files to the system. In order to prevent untrustw...