Sciweavers

1057 search results - page 20 / 212
» Consistency Management for Distributed Collaboration
Sort
View
ACIVS
2008
Springer
15 years 6 months ago
Adaptive Metadata Management System for Distributed Video Content Analysis
Scientific advances in the development of video processing algorithms now allow various distributed and collaborative vision-based applications. However, the lack of recognised st...
C. Carincotte, Xavier Desurmont, A. Bastide
DAC
2003
ACM
16 years 23 days 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
ITSE
2010
94views more  ITSE 2010»
14 years 6 months ago
Opencast Matterhorn: A community-driven open source software project for producing, managing, and distributing academic video
Since its formation in 2007, Opencast has become a truly global community around academic video and its related areas. One of Opencast's major projects to emerge from the com...
Markus Ketterl, Olaf A. Schulte, Adam Hochman
SERP
2003
15 years 1 months ago
A Portable and Collaborative Distributed Programming Environment
Due to recent advances in network and computing facilities, use of the Internet is becoming popular and promising in various areas such as scientific collaboration, information di...
Chang-Hyun Jo, Allen J. Arnold
CSCW
2010
ACM
15 years 8 months ago
Sources of errors in distributed development projects: implications for collaborative tools
An important dimension of success in development projects is the quality of the new product. Researchers have primarily concentrated on developing and evaluating processes to redu...
Marcelo Cataldo