1535 search results - page 173 / 307 » Software Engineering Design Patterns for Relational Database... |
135
Voted
ISSTA
2004
ACM
15 years 10 months ago
2004
ACM
Constraints in predicate or relational logic can be translated into boolean logic and solved with a SAT solver. For faster solving, it is common to exploit the typing of predicate...
167
click to vote
ECSA
2008
Springer
2008
Springer
Automating Architecture Trade-Off Decision Making through a Complex Multi-attribute Decision Process
15 years 6 months ago
A typical software architecture design process requires the architects to make various trade-off architecture decisions. The architects need to consider different possibilities and...
136
click to vote
ICSE
2000
IEEE-ACM
15 years 8 months ago
2000
IEEE-ACM
Graphical animation is a way of visualizing the behavior of design models. This visualization is of use in validating a design model against informally specified requirements and ...
129
click to vote
ECBS
1996
IEEE
15 years 8 months ago
1996
IEEE
It is widely recognized that real-time,fault-tolerant and distributed computing technologies play a key role in the deployment of many current andfuture (civilian or Defense) crit...
121
click to vote
UIST
2009
ACM
15 years 11 months ago
2009
ACM
Time-series graphs are often used to visualize phenomena that change over time. Common tasks include comparing values at different points in time and searching for specified patte...