Sciweavers

519 search results - page 41 / 104
» Granular Problem Solving and Software Engineering
Sort
View
SIGDOC
2006
ACM
15 years 5 months ago
Workshop: communicating design patterns with TRIZ
This work will present elements of Genrich Altshuller’s Theory of Inventive Problem Solving, also known as TRIZ, and use them to describe the structural patterns found in the Ga...
John W. Stamey Jr., Ellen Domb
ASWEC
2008
IEEE
15 years 6 months ago
Modeling Input Validation in UML
Security is an integral part of most software systems but it is not considered as an explicit part in the development process yet. Input validation is the most critical part of so...
Pedram Hayati, Nastaran Jafari, S. Mohammad Rezaei...
EMSOFT
2011
Springer
13 years 11 months ago
Synthesis of optimal switching logic for hybrid systems
Given a multi-modal dynamical system, optimal switching logic synthesis involves generating conditions for switching between the system modes such that the resulting hybrid system...
Susmit Jha, Sanjit A. Seshia, Ashish Tiwari
TR
2010
158views Hardware» more  TR 2010»
14 years 6 months ago
Multi-Objective Approaches to Optimal Testing Resource Allocation in Modular Software Systems
Software testing is an important issue in software engineering. As software systems become increasingly large and complex, the problem of how to optimally allocate the limited test...
Zai Wang, Ke Tang, Xin Yao
SIAMJO
2011
14 years 6 months ago
Approximating Semidefinite Packing Programs
In this paper we define semidefinite packing programs and describe an algorithm to approximately solve these problems. Semidefinite packing programs arise in many applications s...
Garud Iyengar, David J. Phillips, Clifford Stein