10682 search results - page 2118 / 2137 » A Graph Based Process Representation for Process Modeling |
ICADL
2003
Springer
14 years 27 days ago
2003
Springer
A digital library system consists of LVS(Linux Virtual Server) operating with software clustering technology provides is designed on Linux environment. In the cluster of servers fa...
CSFW
2002
IEEE
14 years 20 days ago
2002
IEEE
We carry forward the work described in our previous papers [3, 14, 12] on the application of data independence to the model checking of cryptographic protocols using CSP [13] and ...
GLVLSI
2002
IEEE
14 years 19 days ago
2002
IEEE
Design simplification is becoming necessary to respect the target time-to-market of SoCs, and this goal can be obtained by using predesigned IP-cores. However, their correct inte...
ISMAR
2002
IEEE
14 years 18 days ago
2002
IEEE
One of the most crucial tasks in a see-through augmented reality (AR) system is to register the virtual objects with the real world through a transparent display. The importance s...
SAC
2009
ACM
14 years 11 days ago
2009
ACM
This paper presents a novel software engineering approach for developing a dynamic web interface that meets the quality criterion of “WYDIWYS” - What You Do Is What You See. T...