Sciweavers

3441 search results - page 636 / 689
» Provenance of Software Development Processes
Sort
View
SIGCOMM
2010
ACM
13 years 11 months ago
Caliper: a tool to generate precise and closed-loop traffic
Generating realistic and responsive traffic that reflects different network conditions is a challenging problem associated with performing valid experiments in network testbeds. I...
Monia Ghobadi, Martin Labrecque, Geoffrey Salmon, ...
ASE
2008
102views more  ASE 2008»
13 years 11 months ago
Model driven code checking
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
Gerard J. Holzmann, Rajeev Joshi, Alex Groce
CORR
2010
Springer
153views Education» more  CORR 2010»
13 years 11 months ago
Integration of Agile Ontology Mapping towards NLP Search in I-SOAS
In this research paper we address the importance of Product Data Management (PDM) with respect to its contributions in industry. Moreover we also present some currently available ...
Zeeshan Ahmed, Ina Tacheva
COMJ
2007
91views more  COMJ 2007»
13 years 11 months ago
A Camera-Based Music-Making Tool for Physical Rehabilitation
The therapeutic effects of playing music are being recognized increasingly in the field of rehabilitation medicine. People with physical disabilities, however, often do not have ...
Mikhail Gorman, Amir Lahav, Elliot Saltzman, Margr...
DKE
2007
131views more  DKE 2007»
13 years 11 months ago
Reasoning and change management in modular ontologies
ct 9 The benefits of modular representations are well known from many areas of computer science. While in software engi10 neering modularization is mainly a vehicle for supporting...
Heiner Stuckenschmidt, Michel C. A. Klein