Sciweavers

391 search results - page 16 / 79
» Using Software Metrics in the Evaluation of a Conceptual Com...
Sort
View
KBSE
1997
IEEE
13 years 11 months ago
NORA/HAMMR: Making Deduction-Based Software Component Retrieval Practical
Deduction-based software component retrieval uses preand postconditions as indexes and search keys and an automated theorem prover (ATP) to check whether a component matches. This...
Johann Schumann, Bernd Fischer 0002
SSDBM
2002
IEEE
116views Database» more  SSDBM 2002»
14 years 13 days ago
A Conceptual Framework for Composing and Managing Scientific Data Lineage
Scientific research relies as much on the dissemination and exchange of data sets as on the publication of conclusions. Accurately tracking the lineage (origin and subsequent proc...
Rajendra Bose
ICWE
2003
Springer
14 years 22 days ago
Adaptive Interaction Multi-agent Systems in E-learning/E-teaching on the Web
In this paper we propose to include two up-to-date separate concepts, namely social computing and usability metrics, in intelligent interaction agents to enhance a user-centred, ad...
Antonio Fernández-Caballero, Víctor ...
DCOSS
2010
Springer
14 years 10 days ago
Programming Sensor Networks Using Remora Component Model
Abstract. The success of high-level programming models in Wireless Sensor Networks (WSNs) is heavily dependent on factors such as ease of programming, code well-structuring, degree...
Amirhosein Taherkordi, Frédéric Loir...
ACL
2012
11 years 10 months ago
A Web-based Evaluation Framework for Spatial Instruction-Giving Systems
We demonstrate a web-based environment for development and testing of different pedestrian route instruction-giving systems. The environment contains a City Model, a TTS interface...
Srinivasan Janarthanam, Oliver Lemon, Xingkun Liu