Sciweavers

9006 search results - page 134 / 1802
» Modeling Software
Sort
View
ATVA
2008
Springer
87views Hardware» more  ATVA 2008»
15 years 4 months ago
Goanna: Syntactic Software Model Checking
Goanna is an industrial-strength static analysis tool used in academia and industry alike to find bugs in C/C++ programs. Unlike existing approaches Goanna uses the off-the-shelf N...
Ralf Huuck, Ansgar Fehnker, Sean Seefried, Jö...
128
Voted
HICSS
2003
IEEE
146views Biometrics» more  HICSS 2003»
15 years 8 months ago
A Model for the Emergence and Diffusion of Software Standards
The economic impact of the growth dynamic of standards is often described from a macroeconomic point of view, employing network effect theory and models dealing with externalities...
Tim Stockheim, Michael Schwind, Wolfgang Köni...
108
Voted
BMCBI
2008
82views more  BMCBI 2008»
15 years 2 months ago
Envelope: interactive software for modeling and fitting complex isotope distributions
Background: An important aspect of proteomic mass spectrometry involves quantifying and interpreting the isotope distributions arising from mixtures of macromolecules with differe...
Michael T. Sykes, James R. Williamson
100
Voted
CSREAEEE
2006
103views Business» more  CSREAEEE 2006»
15 years 4 months ago
Software Engineering Employee Motivational Capital Model: SE-EMCM
The business world has been reinventing the human. Employee participative transition projects for management strategies are becoming more important in IT organizations day by day....
Serdar Turkeli
115
Voted
DATE
2010
IEEE
176views Hardware» more  DATE 2010»
15 years 7 months ago
Timing modeling and analysis for AUTOSAR-based software development - a case study
—Safety-critical automotive systems must fulfill hard real-time constraints for reliability and safety. This paper presents a case study for the application of an AUTOSARbased l...
Kay Klobedanz, Christoph Kuznik, Andreas Thuy, Wol...