Sciweavers

4245 search results - page 620 / 849
» Input Modeling
Sort
View
EMSOFT
2006
Springer
15 years 10 months ago
Software partitioning for effective automated unit testing
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...
Arindam Chakrabarti, Patrice Godefroid
WSC
2008
15 years 9 months ago
Reducing Emergency Department overcrowding - five patient buffer concepts in comparison
Emergency Department (ED) overcrowding is a common medical care issue in the United States and other developed nations. One major cause of ED crowding are holding patients waiting...
Erik Michael Wilhelm Kolb, Jordan Peck, Sebastian ...
WSC
2008
15 years 9 months ago
Automating the constraining process
The typical approach to finding minimum levels of resources that still allow support and operational performance goals to be met for military aircraft is based on a manual trial-a...
Joel J. Luna
DIAGRAMS
2010
Springer
15 years 8 months ago
Diagram Editing on Interactive Displays Using Multi-touch and Pen Gestures
Creating and editing graphs and node-link diagrams by means of digital tools are crucial activities in domains such as software or business process modeling. However, these tools h...
Mathias Frisch, Jens Heydekorn, Raimund Dachselt
ECAI
2008
Springer
15 years 8 months ago
The Impact of Constraint Programming
Constraint satisfaction problems (CSPs) are ubiquitous in many real-world contexts. However, modeling a problem as a CSP can be very challenging, usually requiring considerable ex...
Pascal Van Hentenryck