949 search results - page 67 / 190 » Theory of Constraints |
122
click to vote
UTP
2010
14 years 10 months ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
97
Voted
LATA
2010
Springer
15 years 10 months ago
2010
Springer
Timed automata has been used as a powerful formalism for specifying, designing, and analyzing real time systems. We consider the generalization of timed automata to Pushdown Timed ...
84
Voted
EACL
1989
ACL Anthology
15 years 1 months ago
1989
ACL Anthology
This paper discusses the application of a previously reported theory of explanation rhetoric (Maybury, 1988b) to the task of explaining constraint violations in a hybrid rule/fram...
105
Voted
JCIT
2007
15 years 17 days ago
2007
In this paper, we propose a more flexible “economic cluster identification” approach to analyzing the domestic I/O flows of intermediary goods and service that is based on inf...
85
Voted
TASLP
2010
14 years 7 months ago
2010
We introduce two new methods for the demodulation of acoustic signals by posing the problem in a convex optimization framework. This allows the parameters of the modulator and carr...