1148 search results - page 174 / 230 » Software engineering considered harmful |
FOSSACS
2007
Springer
15 years 7 months ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
100
click to vote
FSTTCS
2007
Springer
15 years 7 months 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...
90
Voted
FSTTCS
2007
Springer
15 years 7 months 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...
99
Voted
ISORC
2005
IEEE
15 years 6 months ago
2005
IEEE
Transcoding is an important technology which adapts the same multimedia object to diverse mobile appliances; thus, users’ requests for a specified version of a multimedia objec...
107
click to vote
FSTTCS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We consider a generalization of the set cover problem, in which elements are covered by pairs of objects, and we are required to find a minimum cost subset of objects th...