714 search results - page 37 / 143 » Models and Tools for Collaborative Annotation |
145
Voted
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
129
click to vote
SIGADA
2004
Springer
15 years 7 months ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...
123
click to vote
SC
2009
ACM
15 years 9 months ago
2009
ACM
Science requires collaboration. In this paper, we investigate the feasibility of coupling current social networking techniques to science gateways to provide a scientific collabor...
133
click to vote
CSCWD
2008
Springer
15 years 4 months ago
2008
Springer
One of the main objectives in engineering departments of large industries is the implementation of integrated information systems to manage their projects' life cycle. EnViro...
155
click to vote
ICDE
2010
IEEE
16 years 2 months ago
2010
IEEE
The proliferation of electronic content has notably lead to the apparition of large corpora of interrelated structured documents (such as HTML and XML Web pages) and semantic annot...