2834 search results - page 481 / 567 » Representing Trees with Constraints |
110
Voted
EDOC
2009
IEEE
15 years 4 months ago
2009
IEEE
Viewpoint modeling is an effective technique for specifying complex software systems in terms of a set of independent viewpoints and correspondences between them. Each viewpoint f...
104
Voted
FROCOS
2009
Springer
15 years 4 months ago
2009
Springer
In recent years, the problem of extracting a MUS (Minimal Unsatisfiable Subformula) from an unsatisfiable CNF has received much attention. Indeed, when a Boolean formula is proved ...
131
Voted
CAISE
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Goal models have been used in Computer Science in order to represent software requirements, business objectives and design qualities. In previous work we have presented a...
96
Voted
AUSAI
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. The notable developments in pervasive and wireless technology enable us to collect enormous sensor data from each individual. With contextaware technologies, these data c...
107
Voted
EUROMICRO
2004
IEEE
15 years 4 months ago
2004
IEEE
Software Process Improvement needs sound empirical data gathered from a range of empirical studies such as controlled experiments or case studies. However, conducting empirical st...