284 search results - page 29 / 57 » Towards a Dependable Component Technology for Embedded Syste... |
123
Voted
IWANN
2009
Springer
15 years 8 months ago
2009
Springer
This article presents a distributed agent-based architecture that can process the visual information obtained by stereoscopic cameras. The system is embedded within a global projec...
113
click to vote
ICISS
2007
Springer
15 years 10 months ago
2007
Springer
Applications are subject to threat from a number of attack vectors, and limiting their attack surface is vital. By using privilege separation to constrain application access to pro...
144
Voted
FOSSACS
2008
Springer
15 years 5 months ago
2008
Springer
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...
117
Voted
IEEEARES
2007
IEEE
15 years 10 months ago
2007
IEEE
The World Wide Web (WWW) has been predominantly responsible for instigating radical paradigm transformations in today’s global information rich civilizations. Many societies hav...
129
Voted
RTAS
2007
IEEE
15 years 10 months ago
2007
IEEE
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...