Sciweavers

4755 search results - page 219 / 951
» An Implementation Model for Collaborative Applications
Sort
View
CCGRID
2006
IEEE
15 years 9 months ago
Large Scale Distributed Simulation on the Grid
The development of many complex simulation applications requires collaborative effort from researchers with different domain knowledge and expertise, possibly at different locatio...
Georgios K. Theodoropoulos, Yi Zhang, Dan Chen, Ro...
149
Voted
HT
1997
ACM
15 years 7 months ago
Workspaces: The HyperDisco Approach to Internet Distribution
Hypermedia concepts are currently being deployed in a variety of information systems such as the World Wide Web, software development environments, large engineering enterprises, ...
Uffe Kock Wiil, John J. Leggett
185
Voted
DATAMINE
2010
161views more  DATAMINE 2010»
15 years 26 days ago
Predicting labels for dyadic data
: In dyadic prediction, the input consists of a pair of items (a dyad), and the goal is to predict the value of an observation related to the dyad. Special cases of dyadic predicti...
Aditya Krishna Menon, Charles Elkan
DAC
2003
ACM
16 years 4 months ago
Behavioral consistency of C and verilog programs using bounded model checking
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...
Edmund M. Clarke, Daniel Kroening, Karen Yorav
113
Voted
CSCWD
2005
Springer
15 years 9 months ago
A Web Service for Exchanging Procedural CAD Models Between Heterogeneous CAD Systems
It is a challenging issue to exchange procedural CAD models between heterogeneous CAD systems. In this paper, we extend the synchronized collaborative design environment among hete...
Xiang Chen, Min Li, Shuming Gao