Sciweavers

1599 search results - page 71 / 320
» A Reference Model for Knowledge Management in Software Engin...
Sort
View
ACHI
2008
IEEE
15 years 4 months ago
Turning Web 2.0 Social Software into Versatile Collaborative Learning Solutions
—In the framework of the European Integrated Project PALETTE, the École Polytechnique Fédérale de Lausanne (EPFL) is developing the eLogbook Web 2.0 social software. The purpo...
Denis Gillet, Sandy El Helou, Chiu-Man Yu, Christo...
110
Voted
SOCO
2009
Springer
15 years 4 months ago
A Framework for Testing Model Composition Engines
Model composition helps designers managing complexities by modeling different system views separately, and later compose them into an integrated model. In the past years, researche...
Freddy Munoz, Benoit Baudry
85
Voted
CAV
2005
Springer
173views Hardware» more  CAV 2005»
15 years 3 months ago
Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, ...
82
Voted
IUI
2009
ACM
15 years 7 months ago
An interface for targeted collection of common sense knowledge using a mixture model
We present a game-based interface for acquiring common sense knowledge. In addition to being interactive and entertaining, our interface guides the knowledge acquisition process t...
Robert Speer, Jayant Krishnamurthy, Catherine Hava...
COOPIS
2004
IEEE
15 years 2 months ago
Semantic Web Based Content Enrichment and Knowledge Reuse in E-science
We address the life cycle of semantic web based knowledge management from ontology modelling to instance generation and reuse. We illustrate through a semantic web based knowledge ...
Feng Tao, Liming Chen, Nigel Shadbolt, Fenglian Xu...