7066 search results - page 1135 / 1414 » Contact Relations with Applications |
193
click to vote
ENTCS
2007
15 years 7 months ago
2007
Strategies are a powerful mechanism to control rule application in rule-based systems. For instance, different transition relations can be defined and then combined by means of ...
222
Voted
ENTCS
2007
15 years 7 months ago
2007
Logical connectives familiar from the study of hybrid logic can be added to the logical framework LF, a constructive type theory of dependent functions. This extension turns out t...
164
click to vote
ENTCS
2007
15 years 7 months ago
2007
In this paper we introduce the notion of approximate implementations for Probabilistic I/O Automata (PIOA) and develop methods for proving such relationships. We employ a task str...
256
Voted
JPDC
2006
15 years 7 months ago
2006
Irregular parallel algorithms pose a significant challenge for achieving high performance because of the difficulty predicting memory access patterns or execution paths. Within an...
195
Voted
ENTCS
2007
15 years 7 months ago
2007
Several model-checker based methods to automated test-case generation have been proposed recently. The performance and applicability largely depends on the complexity of the model...