Sciweavers

1729 search results - page 166 / 346
» Practical Temporal Projection
Sort
View
CAISE
2006
Springer
15 years 6 months ago
Validation of Regulation Documents by Automated Analysis of Formal Models
Abstract. The security of civil aviation is regulated by a series of international standards and recommended practices. The EDEMOI project aims at investigating different technique...
Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie V...
ECTEL
2006
Springer
15 years 6 months ago
A Model for Representing Professional Development through the Participation in a Virtual CoP: Uses for Developing Enhanced Servi
This paper presents a model of professional development through the participation in a virtual CoP. This model is rooted in a definition of professional development and of professi...
Amaury Daele
ERCIMDL
2000
Springer
165views Education» more  ERCIMDL 2000»
15 years 6 months ago
DEBORA: Developing an Interface to Support Collaboration in a Digital Library
Interfaces to library systems have largely failed to represent the inherently collaborative nature of information work. This paper describes how collaborative functionality is bein...
David M. Nichols, Duncan Pemberton, Salah Dalhoumi...
LREC
2010
192views Education» more  LREC 2010»
15 years 3 months ago
Sustainability of Linguistic Data and Analysis in the Context of a Collaborative eScience Environment
For researchers, it is especially important that primary research data are preserved and made available on a long-term basis and to a wide variety of researchers. In order to ensu...
Erhard W. Hinrichs, Verena Henrich, Thomas Zastrow
INTERACT
2007
15 years 3 months ago
Supporting the Planning and Organization of Multiple Activities in the Workplace
Many studies have shown how knowledge workers face challenges while multi-tasking among several projects and initiatives at the workplace. Researchers and consultants of personal p...
Víctor M. González, Leonardo Galicia...