2137 search results - page 396 / 428 » Control of a Car-Like Robot Using a Dynamic Model |
113
Voted
EUROSYS
2008
ACM
15 years 7 months ago
2008
ACM
The continuing frequency and seriousness of security incidents underlines the importance of application security. Decentralized information flow control (DIFC), a promising tool ...
105
click to vote
EMSOFT
2003
Springer
15 years 3 months ago
2003
Springer
We present a formalism for specifying component interfaces that expose component requirements on limited resources. The formalism permits an algorithmic check if two or more compon...
107
Voted
EMSOFT
2004
Springer
15 years 3 months ago
2004
Springer
Data flow process networks are a good model of computation for streaming multimedia applications incorporating audio, video and/or graphics streams. Process networks are concurre...
131
Voted
DAMAS
2005
Springer
15 years 3 months ago
2005
Springer
We present a novel cognitive agent architecture and demonstrate its effectiveness in the Sense and Respond Logistics (SRL) domain. Effective applications to support SRL must antic...
95
Voted
SP
2009
IEEE
15 years 5 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...