Sciweavers

1784 search results - page 123 / 357
» A Collaborative Annotation Framework
Sort
View
MKM
2007
Springer
14 years 4 months ago
Cooperative Repositories for Formal Proofs
We present a new framework for the online development of formalized mathematics. This framework allows wiki-style collaboration while providing users with a rendered and browsable ...
Pierre Corbineau, Cezary Kaliszyk
ATAL
2005
Springer
14 years 4 months ago
Optimal design in collaborative design network
We consider a multiagent system whose task is to aid componentcentered design by collaborative designers in a supply chain. In the earlier work, collaborative design networks are ...
Y. Xiang, J. Chen, William S. Havens
CDVE
2005
Springer
245views Visualization» more  CDVE 2005»
14 years 4 months ago
Collaborative Solution for Cooperation, Coordination and Knowledge Management in the Ceramic Tile Design Chain
This paper presents a solution for cooperation between companies that belong to a supply chain in the ceramic tile sector, where competitiveness requires constant innovation in pro...
Carlos Vila, Fernando Romero, Vanesa Galmés...
COOPIS
2003
IEEE
14 years 3 months ago
Profiling and Matchmaking Strategies in Support of Opportunistic Collaboration
With the recent advances in communications technologies and decentralization of work practices, there has been an increase in distributed, remote, computerized work environments. I...
Adriana Santarosa Vivacqua, Melfry Moreno, Jano Mo...
ECOOP
2007
Springer
14 years 2 months ago
Tracking Linear and Affine Resources with Java(X)
Java(X) is a framework for type refinement. It extends Java's type language with annotations drawn from an algebra X and structural subtyping in terms of the annotations. Each...
Markus Degen, Peter Thiemann, Stefan Wehr