1121 search results - page 101 / 225 » Model and Formalism Driven Development of Collaborative Appl... |
IJMMS
2000
15 years 1 months ago
2000
In this paper we present an approach to document enrichment, which consists of developing and integrating formal knowledge models with archives of documents, to provide intelligent...
133
click to vote
MODELS
2010
Springer
15 years 4 days ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
105
click to vote
WWW
2008
ACM
16 years 2 months ago
2008
ACM
The research objective of this work is to develop a general framework that incorporates collaborative social tagging with a novel ontology scheme conveying multiple perspectives. ...
109
click to vote
ER
2010
Springer
15 years 8 days ago
2010
Springer
: Data provenance is becoming increasingly important for biosciences with the advent of large-scale collaborative environments such as the iPlant collaborative, where scientists co...
107
click to vote
FASE
2008
Springer
15 years 3 months ago
2008
Springer
Service Oriented Computing is a paradigm for developing software systems as the composition of a number of services. Services are loosely coupled entities, can be dynamically publi...