5550 search results - page 322 / 1110 » Different Approaches to Proof Systems |
176
click to vote
EUROMICRO
2003
IEEE
16 years 20 hour ago
2003
IEEE
We present a practical approach to the design of a Web system for 3D and volumetric data interrogation and visualization. This Web application provides different functionalities i...
182
click to vote
COOPIS
1997
IEEE
15 years 11 months ago
1997
IEEE
If the number of users within a workjlow management system (WFMS) increases, a central workflow server (WFserver) and a single local area network (LAN) may become overloaded. The ...
164
click to vote
ECBS
1997
IEEE
15 years 11 months ago
1997
IEEE
We present a new approach to an interactive design and analysis environment for visual languages. The main components, i.e., editor, animator, and interpreter, are introduced. The...
158
click to vote
ACMDIS
1997
ACM
15 years 11 months ago
1997
ACM
This paper describes the teleradiology application CHILI from the graphical user interface point of view. We present the most important design decisions taken during the construct...
186
click to vote
QOSA
2010
Springer
15 years 8 months ago
2010
Springer
The use of redundant computational nodes is a widely used design tactic to improve the reliability of complex embedded systems. However, this redundancy allocation has also an effe...