Sciweavers

16725 search results - page 2653 / 3345
» Engineering Software Correctness
Sort
View
HICSS
2010
IEEE
173views Biometrics» more  HICSS 2010»
16 years 2 months ago
Analysis of Stakeholder/Value Dependency Patterns and Process Implications: A Controlled Experiment
Different classes of information system stakeholders depend on different values to be successful. Understanding stakeholders’ value dependencies is critical for developing softw...
Di Wu, Qi Li, Mei He, Barry W. Boehm, Ye Yang, Sup...
190
Voted
SAC
2010
ACM
16 years 2 months ago
Dual analysis for proving safety and finding bugs
Program bugs remain a major challenge for software developers and various tools have been proposed to help with their localization and elimination. Most present-day tools are base...
Corneliu Popeea, Wei-Ngan Chin
SAC
2010
ACM
16 years 2 months ago
Performance and extension of user space file systems
Several efforts have been made over the years for developing file systems in user space. Many of these efforts have failed to make a significant impact as measured by their us...
Aditya Rajgarhia, Ashish Gehani
SAC
2009
ACM
16 years 2 months ago
LTS semantics for use case models
Formalization is a necessary precondition for the specification of precise and unambiguous use case models, which serve as reference points for the design and implementation of so...
Daniel Sinnig, Patrice Chalin, Ferhat Khendek
167
Voted
CSE
2009
IEEE
16 years 2 months ago
Enabling Privacy as a Fundamental Construct for Social Networks
The current set of social networking platforms, e.g. Facebook and MySpace, has created a new class of Internet applications called social software. These systems focus on leveragi...
E. Michael Maximilien, Tyrone Grandison, Kun Liu, ...
« Prev « First page 2653 / 3345 Last » Next »