Sciweavers

346 search results - page 62 / 70
» COMA: A Tool for Collaborative Modeling
Sort
View
95
Voted
WETICE
1998
IEEE
15 years 5 months ago
Workgroup Middleware for Distributed Projects*
We have developed a middleware framework for workgroup environments that can support distributed software development and a variety of other application domains requiring document...
Gail E. Kaiser, Stephen E. Dossick
ICECCS
2007
IEEE
120views Hardware» more  ICECCS 2007»
15 years 4 months ago
Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository
Parts of the CICS transaction processing system were modelled formally in the 1980s in a collaborative project between IBM Hursley Park and Oxford University Computing Laboratory....
Leo Freitas, Konstantinos Mokos, Jim Woodcock
90
Voted
LREC
2010
163views Education» more  LREC 2010»
15 years 2 months ago
Meaning Representation: From Continuity to Discreteness
This paper presents a geometric approach to meaning representation within the framework of continuous mathematics. Meaning representation is a central issue in Natural Language Pr...
Fabienne Venant
92
Voted
ITEE
2007
15 years 2 months ago
Knowledge Acquisition and Risk Analysis in Material Recovery Facilities by a Virtual Team
1 A knowledge acquisition process that has been implemented by a virtual team for the development of a knowledge based early warning system in Material Recovery Facilities (MRFs) o...
Ioannis M. Dokas, Konstantinos Kitis, Christos Dod...
101
Voted
TLT
2008
90views more  TLT 2008»
15 years 19 days ago
Group Scribbles to Support Knowledge Building in Jigsaw Method
The jigsaw method empowers students to build their own knowledge through successive engagement through interactions in original group discussions and in expert group discussions. H...
Chee-Kit Looi, Chiu-Pin Lin, Kuo-Ping Liu