Sciweavers

3111 search results - page 386 / 623
» Communities - The Role of Technology
Sort
View
ICWL
2004
Springer
15 years 12 months ago
Activity Theory as Tool for Analyzing Asynchronous Learning Networks (ALN)
Abstract. This paper calls on activity theory as tool for analyzing Asynchronous Learning Networks (ALN) to achieve a better understanding of their dynamics. This paper makes some ...
Jerry Zhigang Li, Sharon Elizabeth Bratt
ITRUST
2004
Springer
15 years 12 months ago
The Use of Formal Methods in the Analysis of Trust (Position Paper)
Security and trust are two properties of modern computing systems that are the focus of much recent interest. They play an increasingly significant role in the requirements for mo...
Michael J. Butler, Michael Leuschel, Stépha...
SPATIALCOGNITION
2004
Springer
15 years 12 months ago
Modelling Models of Robot Navigation Using Formal Spatial Ontology
Abstract. In this paper we apply a formal ontological framework in order to deconstruct two prominent approaches to navigation from cognitive robotics, the Spatial Semantic Hierarc...
John A. Bateman, Scott Farrar
ITC
2003
IEEE
114views Hardware» more  ITC 2003»
15 years 12 months ago
Test-Based Model Generation For Legacy Systems
We study the extension of applicability of system-level testing techniques to the construction of a consistent model of (legacy) systems under test, which are seen as black boxes....
Hardi Hungar, Tiziana Margaria, Bernhard Steffen
STEP
2003
IEEE
15 years 12 months ago
Bloom's Taxonomy Levels for Three Software Engineer Profiles
This paper is the product of a workshop held in Amsterdam during the Software Technology and Practice Conference (STEP 2003). The purpose of the paper is to propose Bloom’s taxo...
Pierre Bourque, Luigi Buglione, Alain Abran, Alain...