3166 search results - page 266 / 634 » Translation By Structural Correspondences |
163
click to vote
ICITA
2005
IEEE
16 years 9 days ago
2005
IEEE
Even though IPv6 has been developed for more than a decade, IPv4 is still the most commonly adopted network protocol. However, the significant changes in the new version may cause...
156
click to vote
CAISE
2005
Springer
16 years 7 days ago
2005
Springer
We study, in the context of object/relational mapping tools, the problem of describing mappings between inheritance hierarchies and relational schemas. To this end, we introduce a ...
148
click to vote
CHARME
2005
Springer
16 years 7 days ago
2005
Springer
Timing diagrams are useful for capturing temporal specifications in which all mentioned events are required to occur. We first show that translating timing diagrams with both par...
173
click to vote
FOSSACS
2005
Springer
16 years 6 days ago
2005
Springer
The idea of composition and decomposition to obtain computability results is particularly relevant for true-concurrency. In contrast to the interleaving world, where composition an...
184
click to vote
FOIKS
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Ordered Choice Logic Programming (OCLP) allows for dynamic preference-based decision-making with multiple alternatives without the need for any form of negation. This com...