4378 search results - page 798 / 876 » On the Complexity of Ordered Colourings |
179
click to vote
EMSOFT
2005
Springer
15 years 11 months ago
2005
Springer
Early applications of smart cards have focused in the area of personal security. Recently, there has been an increasing demand for networked, multi-application cards. In this new ...
199
click to vote
ESWS
2005
Springer
15 years 11 months ago
2005
Springer
Managing semantic heterogeneity is a complex task. One solution involves matching like terms to each other. We view Match as an operator that takes two graph-like structures (e.g....
173
click to vote
EUC
2005
Springer
15 years 11 months ago
2005
Springer
Public-key cryptosystem (PKC) is one of inevitable key technologies in order to accomplish fruitful security applications in ubiquitous computing systems. The ubiquitous computer o...
169
click to vote
GECCO
2005
Springer
15 years 11 months ago
2005
Springer
Because of the large number of possible combinations for the fuel assembly loading in the core, the design of the loading pattern (LP) is a complex optimization problem. It requir...
182
click to vote
IFL
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...