6381 search results - page 1020 / 1277 » Alternative Implementation of the C |
207
click to vote
WSC
2007
15 years 9 months ago
2007
As military interest continues to grow for Unmanned Aerial Vehicle (UAV) capabilities, the Air Force is exploring UAV autonomous control, mission planning and optimization techniq...
214
click to vote
WSC
2008
15 years 9 months ago
2008
In this paper, we propose an integrated architecture for modeling, simulation, and execution of PLC (Programmable Logic Controller) based manufacturing system. The main objective ...
203
click to vote
WSC
2008
15 years 9 months ago
2008
This paper presents PiDES, a formalism for discrete event simulation based on Pi-calculus. PiDES provides a rigorous semantics of behavior modeling and coordination for simulation...
186
click to vote
ACSAC
2008
IEEE
15 years 9 months ago
2008
IEEE
Access control policies are often specified in declarative languages. In this paper, we propose a novel approach, called mutation verification, to assess the quality of properties...
213
click to vote
ASPLOS
2008
ACM
15 years 9 months ago
2008
ACM
We explore the extent to which newly available CPU-based security technology can reduce the Trusted Computing Base (TCB) for security-sensitive applications. We find that although...