Sciweavers

477 search results - page 29 / 96
» Collaborative Recommending using Formal Concept Analysis
Sort
View
ICCS
2007
Springer
15 years 7 months ago
Towards a Formal Foundation for Aggregating Scientific Workflows
In e-Science, scientific workflow systems are used to share data and knowledge in collaborative experiments. In recent work we discussed the concepts of a workflow bus [1], allowin...
Frank Terpstra, Zhiming Zhao, Wico Mulder, Pieter ...
ZUM
2000
Springer
101views Formal Methods» more  ZUM 2000»
15 years 6 months ago
Analysis of Compiled Code: A Prototype Formal Model
Abstract. This paper reports on an experimental application of formal specification to inform analysis of compiled code. The analyses with are concerned attempt to recover abstract...
R. D. Arthan
132
Voted
SEMWEB
2007
Springer
15 years 9 months ago
Extreme Tagging: Emergent Semantics through the Tagging of Tags
While the Semantic Web requires a large amount of structured knowledge (triples) to allow machine reasoning, the acquisition of this knowledge still represents an open issue. Indee...
Vlad Tanasescu, Olga Streibel
IEE
2008
97views more  IEE 2008»
15 years 3 months ago
Object-oriented concept analysis for software modularisation
: Modularity is one of the most important principles in software engineering and a necessity for every practical software. Since the design space of software is generally quite lar...
H. H. Kim, Doo-Hwan Bae
130
Voted
ACSD
1998
IEEE
105views Hardware» more  ACSD 1998»
15 years 7 months ago
Visual Formalisms Revisited
The development of an interactive application is a complex task that has to consider data, behavior, intercommunication, architecture and distribution aspects of the modeled syste...
Radu Grosu, Gheorghe Stefanescu, Manfred Broy