Sciweavers

8008 search results - page 1226 / 1602
» Computer-Aided Language Processing
Sort
View
154
Voted
FDL
2003
IEEE
15 years 9 months ago
Using Rewriting-Logic Notation for Funcional Verification in Data-Stream Based Reconfigurable Computing
Reconfigurable Systolic Arrays are a generalization of Systolic Arrays where node operations and interconnections can be redefined even at run time. This flexibility increases the...
Mauricio Ayala-Rincón, Ricardo P. Jacobi, C...
HICSS
2003
IEEE
102views Biometrics» more  HICSS 2003»
15 years 9 months ago
Trust in Electronic Environments
The objective of this paper is to provide a unified, theoretically grounded framework for trust in electronic environments. An overview of the research on trust is presented, exam...
Kari Chopra, William A. Wallace
ITCC
2003
IEEE
15 years 9 months ago
A Federated Model for Secure Web-Based Videoconferencing
This paper describes efforts underway within Internet2 to create a secure federated IP based videoconferencing model. The objective is to create an environment that is user-friend...
Douglas C. Sicker, Ameet Kulkarni, Anand Chavali, ...
DOCENG
2003
ACM
15 years 9 months ago
Improving formatting documents by coupling formatting systems
In this paper, we present a framework for coupling an existing formatting system such as SMIL [7] and Madeus [13] with a formatting control system XEF [10]. This framework allows ...
Fateh Boulmaiz, Cécile Roisin, Fréd&...
DOCENG
2003
ACM
15 years 9 months ago
Management of trusted citations
We discuss how references and citations within a document to particular sources can be verified and guaranteed. When a document refers through a quotation to another document, th...
Christer Fernström
« Prev « First page 1226 / 1602 Last » Next »