Sciweavers

675 search results - page 45 / 135
» Mobilization of software developers: the free software movem...
Sort
View
IROS
2008
IEEE
137views Robotics» more  IROS 2008»
14 years 3 months ago
Universal web interfaces for robot control frameworks
— Developers and end-users have to interface robotic systems for control and feedback. Such systems are typically co-engineered with their graphical user interfaces. In the past,...
Jan Koch, Max Reichardt, Karsten Berns
CISIS
2009
IEEE
14 years 3 months ago
Intelligent Context for Personalised M-Learning
Developments in higher education have driven interest in personalised education. Concomitant with these developments are the evolving capabilities of mobile technologies. Context ...
Philip Moore, Bin Hu, Mike Jackson, JiZheng Wan
JSS
2002
131views more  JSS 2002»
13 years 8 months ago
Experiences with ALMA: Architecture-Level Modifiability Analysis
Modifiability is an important quality for software systems, because a large part of the costs associated with these systems is spent on modifications. The effort, and therefore co...
Nico H. Lassing, PerOlof Bengtsson, Hans van Vliet...
ENTCS
2006
114views more  ENTCS 2006»
13 years 8 months ago
Open-Source Model Checking
We present GMC2 , a software model checker for GCC, the opensource compiler from the Free Software Foundation (FSF). GMC2 , which is part of the GMC static-analysis and model-check...
Radu Grosu, Xiaowan Huang, Sumit Jain, Scott A. Sm...
WMTE
2005
IEEE
14 years 2 months ago
Developing Interactive Logbook: A Personal Learning Environment
Many universities and further education colleges provide Virtual Learning Environments (VLEs). In recent years a new direction has been to extend these to support Personal Develop...
Tony Chan, Dan Corlett, Mike Sharples, Jeffrey Tin...