8446 search results - page 1314 / 1690 » A Process Compensation Language |
140
click to vote
FDL
2003
IEEE
15 years 10 months ago
2003
IEEE
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...
165
click to vote
FDL
2003
IEEE
15 years 10 months ago
2003
IEEE
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...
138
Voted
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
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...
142
Voted
ITCC
2003
IEEE
15 years 10 months ago
2003
IEEE
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...
114
Voted
DOCENG
2003
ACM
15 years 10 months ago
2003
ACM
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 ...