Sciweavers

2371 search results - page 353 / 475
» Software Quality Perception
Sort
View
CAISE
2010
Springer
14 years 10 months ago
Configuring the Variability of Business Process Models Using Non-Functional Requirements
The existence of variations in the organizational environment makes the configuration of business process models a complex activity, even for experienced business analysts. The inc...
Emanuel Santos, João Pimentel, Jaelson Cast...
129
Voted
STTT
2010
116views more  STTT 2010»
14 years 10 months ago
LTL satisfiability checking
Abstract. We report here on an experimental investigation of LTL satisfiability checking via a reduction to model checking. By using large LTL formulas, we offer challenging model-...
Kristin Y. Rozier, Moshe Y. Vardi
FPGA
2011
ACM
401views FPGA» more  FPGA 2011»
14 years 6 months ago
LegUp: high-level synthesis for FPGA-based processor/accelerator systems
In this paper, we introduce a new open source high-level synthesis tool called LegUp that allows software techniques to be used for hardware design. LegUp accepts a standard C pro...
Andrew Canis, Jongsok Choi, Mark Aldham, Victor Zh...
BPM
2011
Springer
271views Business» more  BPM 2011»
14 years 3 months ago
Stimulating Skill Evolution in Market-Based Crowdsourcing
Abstract. Crowdsourcing has emerged as an important paradigm in human problem-solving techniques on the Web. One application of crowdsourcing is to outsource certain tasks to the c...
Benjamin Satzger, Harald Psaier, Daniel Schall, Sc...
ICSE
2008
IEEE-ACM
16 years 4 months ago
The effect of the number of inspectors on the defect estimates produced by capture-recapture models
Inspections can be made more cost-effective by using capturerecapture methods to estimate post-inspection defects. Previous capture-recapture studies of inspections used relativel...
Gursimran Singh Walia, Jeffrey C. Carver, Nachiapp...