Sciweavers

2135 search results - page 311 / 427
» Dimensions of Component Based Development
Sort
View
110
Voted
CSCW
2010
ACM
15 years 11 months ago
Are you having difficulty?
It would be useful if software engineers/instructors could be aware that remote team members/students are having difficulty with their programming tasks. We have developed an appr...
Jason Carter, Prasun Dewan
115
Voted
CORR
1998
Springer
110views Education» more  CORR 1998»
15 years 2 months ago
laboratories for Data Communications and Computer Networks
Abstract In this paper we describe a hands-on laboratory oriented instructional package that we have developed for data communications and networking. The package consists of a sof...
Rohit Goyal, Steve Lai, Raj Jain, Arjan Durresi
135
Voted
SIGSOFT
2005
ACM
16 years 3 months ago
Matching execution histories of program versions
We develop a method for matching dynamic histories of program executions of two program versions. The matches produced can be useful in many applications including software piracy...
Xiangyu Zhang, Rajiv Gupta
TPHOL
2005
IEEE
15 years 8 months ago
A HOL Theory of Euclidean Space
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
John Harrison
ERCIMDL
2005
Springer
109views Education» more  ERCIMDL 2005»
15 years 8 months ago
MedioVis - A User-Centred Library Metadata Browser
MedioVis is a visual information seeking system which was designed especially for library data. The objective target was to create a system which simplifies and optimizes the userā...
Christian Grün, Jens Gerken, Hans-Christian J...