713 search results - page 108 / 143 » Formalization, Testing and Execution of a Use Case Diagram |
113
click to vote
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
Concurrent programs are notoriously difficult to debug. We see two main reasons for this: 1) concurrency bugs are often difficult to reproduce, 2) traces of buggy concurrent execu...
128
click to vote
CHARME
1999
Springer
15 years 6 months ago
1999
Springer
Hardware description languages (HDLs) are used today to describe circuits at all levels. In large HDL programs, there is a need for source code reduction techniques to address a my...
107
click to vote
CVPR
2008
IEEE
16 years 4 months ago
2008
IEEE
Prior distributions are useful for robust low-level vision, and undirected models (e.g. Markov Random Fields) have become a central tool for this purpose. Though sometimes these p...
127
click to vote
SIGMOD
2003
ACM
16 years 2 months ago
2003
ACM
One of the critical deficiencies of SQL is lack of support for ndimensional array-based computations which are frequent in OLAP environments. Relational OLAP (ROLAP) applications ...
119
click to vote
NMR
2004
Springer
15 years 7 months ago
2004
Springer
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting a...