1744 search results - page 241 / 349 » A Similarity-Driven Transfer System |
172
click to vote
CONCUR
2000
Springer
15 years 10 months ago
2000
Springer
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...
153
click to vote
HICSS
1999
IEEE
15 years 10 months ago
1999
IEEE
The ELECTROPIA is a CALS/EC engine developed by the Korea CALS/EC Association composed of the government, several universities, and many small and big companies in Korea, in order...
182
click to vote
ISCA
1998
IEEE
15 years 10 months ago
1998
IEEE
Computer systems have become powerful enough to process continuous data streams such as video or animated graphics. While processing power and communication bandwidth of today...
209
click to vote
CIA
1998
Springer
15 years 10 months ago
1998
Springer
The paradigm of mobile agents offers a powerful and flexible ity to develop distributed applications on a high-level of abstraction. One of the most interesting tasks for mobile ag...
171
click to vote
VRML
1998
ACM
15 years 10 months ago
1998
ACM
VRML (the Virtual Reality Modeling Language) has brought 3D objects and virtual worlds to a large number of Internet users. While it provides a suitable basis for the platform ind...