7773 search results - page 326 / 1555 » On generalized Frame-Stewart numbers |
170
click to vote
LICS
2007
IEEE
16 years 28 days ago
2007
IEEE
In this paper we generalize the contraction method, originally proposed by Elgot and Rabin and later extended by Carton and Thomas, from labeled linear orderings to colored determ...
198
click to vote
SASO
2007
IEEE
16 years 28 days ago
2007
IEEE
Grid and ubiquitous computing systems generally consist of a large number of networked nodes with applications implemented as distributed services or processes, respectively. A cr...
147
click to vote
VL
2007
IEEE
16 years 28 days ago
2007
IEEE
Although there have been a number of studies of end-user software development tasks, few of them have considered gender issues for real end-user developers in real-world environme...
153
click to vote
AAECC
2007
Springer
16 years 26 days ago
2007
Springer
We consider a generalization of the codes defined by norm and trace functions on finite fields introduced by Olav Geil. The codes in the new family still satisfy Geil’s dualit...
196
click to vote
AGTIVE
2007
Springer
16 years 26 days ago
2007
Springer
In this paper we describe the Ludo case, one of the case studies of the AGTIVE 2007 Tool Contest (see [22]). After summarising the case description, we give an overview of the subm...