15784 search results - page 2920 / 3157 » Mega Software Engineering |
190
click to vote
FSTTCS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. The abstraction of cryptographic operations by term algebras, called DolevYao models or symbolic cryptography, is essential in almost all tool-supported methods for provi...
155
click to vote
FSTTCS
2007
Springer
16 years 22 days ago
2007
Springer
We consider computational problems on covering graphs with bicliques (complete bipartite subgraphs). Given a graph and an integer k, the biclique cover problem asks whether the edg...
184
click to vote
FSTTCS
2007
Springer
16 years 22 days ago
2007
Springer
We study several cost coloring problems, where we are given a graph and a cost function on the independent sets and are to find a coloring that minimizes the function costs of the...
151
click to vote
FSTTCS
2007
Springer
16 years 22 days ago
2007
Springer
We consider scheduling problems in which a job consists of components of different types to be processed on m machines. Each machine is capable of processing components of a singl...
144
click to vote
FSTTCS
2007
Springer
16 years 22 days ago
2007
Springer
There are two somewhat contradictory ways of looking at modules in a given programming language. On the one hand, module systems are largely independent of the particulars of progr...