344 search results - page 38 / 69 » The Santa Claus problem |
DATE
2009
IEEE
14 years 4 months ago
2009
IEEE
—The synchronous model of computation together with a suitable execution platform facilitates system-level timing predictability. This paper introduces an algebraic framework for...
EUROCAST
2009
Springer
14 years 1 months ago
2009
Springer
The calculation of Hamiltonian Circuits is an NP-complete task. This paper uses slightly modified complete sets of Hamiltonian circuits for the classification of documents. The sol...
FSEN
2009
Springer
14 years 1 months ago
2009
Springer
This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [7, 8]. The...
ATAL
2010
Springer
13 years 11 months ago
2010
Springer
We investigate the problem of locally monitoring contract regulated behaviours in web services. We encode contract clauses in service specifications by using extended timed automat...
ECSA
2010
Springer
13 years 8 months ago
2010
Springer
With software services becoming a strategic capability for the software sector, software architecture needs to address integration problems to help services to collaborate and coor...