Sciweavers

1622 search results - page 139 / 325
» Deriving Software Process Simulation Model from SPEM-based S...
Sort
View
DAGM
2011
Springer
14 years 2 months ago
Visual Motion Capturing for Kinematic Model Estimation of a Humanoid Robot
Controlling a tendon-driven robot like the humanoid Ecce is a difficult task, even more so when its kinematics and its pose are not known precisely. In this paper, we present a vis...
Andre Gaschler
84
Voted
ICSE
2001
IEEE-ACM
15 years 7 months ago
Conceptual Modeling through Linguistic Analysis Using LIDA
Despite the advantages that object technology can provide to the software development community and its customers, the fundamental problems associated with identifying objects, th...
Scott P. Overmyer, Benoit Lavoie, Owen Rambow
SIGSOFT
2005
ACM
16 years 3 months ago
Facilitating software evolution research with kenyon
Software evolution research inherently has several resourceintensive logistical constraints. Archived project artifacts, such as those found in source code repositories and bug tr...
Jennifer Bevan, E. James Whitehead Jr., Sunghun Ki...
ENTCS
2006
176views more  ENTCS 2006»
15 years 2 months ago
Gauss: A Framework for Verifying Scientific Computing Software
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...
Robert Palmer, Steve Barrus, Yu Yang, Ganesh Gopal...
ASM
2010
ASM
15 years 9 months ago
A Basis for Feature-Oriented Modelling in Event-B
Abstract. Feature-oriented modelling is a well-known approach for Software Product Line (SPL) development. It is a widely used method when developing groups of related software. Wi...
Jennifer Sorge, Michael Poppleton, Michael Butler