Sciweavers

669 search results - page 59 / 134
» Mastering the Master Theorem
Sort
View
ECTEL
2007
Springer
15 years 4 months ago
Flexible Processes in Project-Centred Learning
Project-centred learning is increasingly used both in academia and in companies; universities train students to master complex tasks, often suggested by real-life situations, while...
Stefano Ceri, Maristella Matera, Alessandro Raffio...
EDUTAINMENT
2007
Springer
15 years 4 months ago
UML in Action: Integrating Formal Methods in Industrial Design Education
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification m...
Jun Hu, Philip Ross, Loe M. G. Feijs, Yuechen Qian
RULEML
2007
Springer
15 years 4 months ago
Querying the Semantic Web with SWRL
The SWRLTab is a development environment for working with SWRL rules in Protégé-OWL. It supports the editing and execution of SWRL rules. It also provides mechanisms to allow int...
Martin J. O'Connor, Samson W. Tu, Csongor Nyulas, ...
ICRA
2006
IEEE
113views Robotics» more  ICRA 2006»
15 years 4 months ago
Bilateral Control of a Teleoperator for Soft Tissue Palpation: Design and Experiments
Abstract— In robot-assisted interventions, providing a surgeon with haptic information regarding contacts made between surgical instruments and tissue can improve task performanc...
Mahdi Tavakoli, Rajnikant V. Patel, Mehrdad Moalle...
IWPC
2006
IEEE
15 years 3 months ago
Improving Comprehensibility of Source Code via Traceability Information: a Controlled Experiment
The presence of traceability links between software artefacts is very important to achieve high comprehensibility and maintainability. This is confirmed by several researches and ...
Andrea De Lucia, Rocco Oliveto, Francesco Zurolo, ...