2573 search results - page 402 / 515 » Combinations of Modal Logics |
129
click to vote
LOPSTR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Termination of binary CLP programs has recently become an important question in the termination analysis community. The reason for this is due to that a number of approac...
137
click to vote
MOZ
2004
Springer
15 years 10 months ago
2004
Springer
Strasheela provides a means for the composer to create a symbolic score by formally describing it in a rule-based way. The environment defines a rich music representation for comp...
144
click to vote
PPDP
2004
Springer
15 years 10 months ago
2004
Springer
We introduce the theoretical basis for tracing lazy functional logic computations in a declarative multi-paradigm language like Curry. Tracing computations is a difficult task due...
132
click to vote
SEKE
2004
Springer
15 years 10 months ago
2004
Springer
Software architecture plays a central role in developing software systems that satisfy functionality and security requirements. However, little has been done to integrate system d...
186
Voted
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
In modern SoCs, embedded memories occupy the largest part of the chip area and include an even larger amount of active devices. As memories are designed very tightly to the limits...