2255 search results - page 203 / 451 » High Assurance Software Systems |
139
click to vote
DEBS
2009
ACM
16 years 1 months ago
2009
ACM
Event processing systems are a promising technology for enterprise-scale applications. However, achieving scalability yet maintaining high performance is a challenging problem. Th...
152
click to vote
ETFA
2005
IEEE
16 years 3 days ago
2005
IEEE
This paper describes the development of a multi-robot system for Area Reduction in Humanitarian Demining. In spite of the specific requirements imposed to the work being carried ...
172
click to vote
MDAFA
2004
Springer
15 years 12 months ago
2004
Springer
Knowledge engineers have favoured a diagrammatic approach for developing knowledge-based systems by adopting those used in software engineering. However, these modelling techniques...
189
click to vote
DDECS
2008
IEEE
15 years 8 months ago
2008
IEEE
The paper introduces a cryptographic System on a Chip (SoC) implementation based on recent Actel nonvolatile FPGA Fusion chip with embedded ARM7 soft-core processor. The SoC is bui...
179
click to vote
COMSWARE
2008
IEEE
16 years 29 days ago
2008
IEEE
Abstract—Mobile WiMAX aims to provide multimedia multicast/broadcast service (MBS) as well as elastic data service. However, supporting delay sensitive applications like video/au...