Sciweavers

4770 search results - page 182 / 954
» Using System-on-a-Programmable-Chip Technology to Design Emb...
Sort
View
SAC
2005
ACM
15 years 9 months ago
A code compression advisory tool for embedded processors
We present a tool which is designed to be used as a code compression advisory system for object code to be run on an embedded processor. All the compression schemes support run-ti...
Sreejith K. Menon, Priti Shankar
SECURWARE
2007
IEEE
15 years 10 months ago
Temporal Verification in Secure Group Communication System Design
The paper discusses an experience in using a realtime UML/SysML profile and a formal verification toolkit to check a secure group communication system against temporal requirement...
Benjamin Fontan, Sara Mota, Pierre de Saqui-Sannes...
OTM
2005
Springer
15 years 9 months ago
Towards Ontology-Guided Design of Learning Information Systems
Courseware increasingly consists of generic information and communication tools. These offer a plethora of functionalities, but their usefulness to a particular learning community ...
Aldo de Moor
NCI
2003
194views Neural Networks» more  NCI 2003»
15 years 5 months ago
Applications of Expert Systems to the Design of Telecommunication Networks
Telecommunication networks have evolved in time thanks to the advances produced by the new technologies and especially, Internet. Expert systems are being applied in management of...
Iñigo Monedero, Carlos León, Robert ...
CASES
2005
ACM
15 years 5 months ago
Hardware support for code integrity in embedded processors
Computer security becomes increasingly important with continual growth of the number of interconnected computing platforms. Moreover, as capabilities of embedded processors increa...
Milena Milenkovic, Aleksandar Milenkovic, Emil Jov...