Sciweavers

4061 search results - page 436 / 813
» Framework Evolution Tool
Sort
View
FCCM
2008
IEEE
165views VLSI» more  FCCM 2008»
16 years 1 months ago
Performance Analysis with High-Level Languages for High-Performance Reconfigurable Computing
High-Level Languages (HLLs) for FPGAs (FieldProgrammable Gate Arrays) facilitate the use of reconfigurable computing resources for application developers by using familiar, higher...
John Curreri, Seth Koehler, Brian Holland, Alan D....
ICALT
2005
IEEE
16 years 11 days ago
Ontologies for Reusing Learning Object Content
The paper proposes a framework for building learning object (LO) content using ontologies. In the previous work on using ontologies to describe LOs, researchers employed ontologies...
Dragan Gasevic, Jelena Jovanovic, Vladan Devedzic,...
CAIP
2005
Springer
117views Image Analysis» more  CAIP 2005»
16 years 9 days ago
Design of Statistical Measures for the Assessment of Image Segmentation Schemes
Image segmentation is discussed for years in numerous papers, but assessing its quality is mainly dealt with in recent works. Quality assessment is a primary concern for anyone wor...
Marc Van Droogenbroeck, Olivier Barnich
ACSAC
2002
IEEE
15 years 11 months ago
Enforcing Resource Bound Safety for Mobile SNMP Agents
The integration of mobile agents with SNMP creates significant advantages for the management of complex networks. Nevertheless, the security concerns of mobile agent technology l...
Weijiang Yu, Aloysius K. Mok
ICFEM
1997
Springer
15 years 11 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer