Sciweavers

812 search results - page 139 / 163
» New Visual Interface for Engineering Use Case Models
Sort
View
BMCBI
2011
14 years 4 months ago
LabKey Server: An open source platform for scientific data integration, analysis and collaboration
Background: Broad-based collaborations are becoming increasingly common among disease researchers. For example, the Global HIV Enterprise has united cross-disciplinary consortia t...
Elizabeth K. Nelson, Britt Piehler, Josh Eckels, A...
FOSSACS
2001
Springer
15 years 2 months ago
On Regular Message Sequence Chart Languages and Relationships to Mazurkiewicz Trace Theory
Hierarchical Message Sequence Charts are a well-established formalism to specify telecommunication protocols. In this model, numerous undecidability results were obtained recently ...
Rémi Morin
CHI
2009
ACM
15 years 10 months ago
Leveraging open-source software in the design and development process
This paper presents a case study of the NASA Ames Research Center HCI Group's design and development of a problem reporting system for NASA's next generation vehicle (to...
Collin Green, Irene Tollinger, Christian Ratterman...
73
Voted
ICRA
2002
IEEE
83views Robotics» more  ICRA 2002»
15 years 2 months ago
Impulse Measure Based Performance Analysis of Sawing Task by Dual Arm
- Some of manufacturing tasks such as sawing task often requires continuous impulsive motion. In case of sawing task, such impulsive motions can be observed between the teeth of th...
Jae Hoon Lee, Byung-Ju Yi, Sang-Rok Oh, Il Hong Su...
ERLANG
2008
ACM
14 years 11 months ago
Testing Erlang data types with quviq quickcheck
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over ma...
Thomas Arts, Laura M. Castro, John Hughes