Zobrazeno 1 - 10
of 55
pro vyhledávání: '"Richard St-Denis"'
Autor:
Richard St-Denis, Maxime Routhier
Publikováno v:
International Journal on Software Tools for Technology Transfer. 21:121-141
It becomes more and more evident today that SAT-solving approaches have the potential to verify properties and synthesize supervisors of controlled systems described with a high level of abstraction. Such approaches can be particularly appropriate wh
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a993fa9cf2b5963760b342351d86219b
https://doi.org/10.1007/s10009-017-0461-6
https://doi.org/10.1007/s10009-017-0461-6
Autor:
Mathieu-Robert Sauvé, André Bigras, Alexandre Boulerice, Jean-Nicolas Carrier, Anne-Marie Di Sciullo, Hugo Diotte, Fred Dubé, Martin Forgues, Albert-Jacques Fortin, Alexandra Guellil, Stevan Harnad, Guy Herbert, Pierre Jasmin, Sébastien Lebel, James McGilvray, Michel Peterson, Karine Prémont, Tristan Rivard, Chantal Santerre, Richard St-Denis, Élisabeth Vallet, Frédérique Verreault
Noam Chomsky célèbre cette année ses 90 ans ; depuis plus de 60 ans, il contribue au domaine des idées. L'auteur Normand Baillargeon, lui-même un penseur s'intéressant à mille et un aspects de l'humain et de la vie en société, a rassemblé d
Autor:
Richard St-Denis, Masoud Barati
Publikováno v:
Multiagent System Technologies ISBN: 9783319647975
MATES
MATES
A team formation problem consists in finding an effective group of experts in a social network to accomplish a job with a minimum expenditure of energy and time. This problem has been transposed into the domain of multiagent systems to form a team of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::44b3fe99c10409123698a206fe939088
https://doi.org/10.1007/978-3-319-64798-2_4
https://doi.org/10.1007/978-3-319-64798-2_4
Publikováno v:
Science of Computer Programming. 94:217-237
Scientific literature reveals that the symbolic representation techniques underlying some formal methods are useful in verifying properties or synthesizing parts of large discrete event systems. They involve, however, encoding complex schemata and fi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2d340041061fe9192aae3043da1c1b04
https://doi.org/10.1016/j.scico.2014.04.016
https://doi.org/10.1016/j.scico.2014.04.016
Publikováno v:
Discrete Event Dynamic Systems. 19:213-265
This paper investigates the control of parameterized discrete event systems when specifications are given in terms of predicates and satisfy a similarity assumption. This study is motivated by a weakness in current synthesis methods that do not scale
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::60bcfcee68f372a78b48e57fd052c158
https://doi.org/10.1007/s10626-008-0040-9
https://doi.org/10.1007/s10626-008-0040-9
Autor:
Masoud Barati, Richard St-Denis
Publikováno v:
ICUMT
The behavior composition problem consists in the automatic synthesis of a controller being able to realize a desired target behavior by coordinating a set of available behaviors. Although many frameworks have been proposed for this problem, one of th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f5779c4537966a064ba6f9137bbaa0a3
https://doi.org/10.1109/icumt.2015.7382395
https://doi.org/10.1109/icumt.2015.7382395
Autor:
Richard St-Denis, Masoud Barati
Publikováno v:
SMC
With the evolution of software engineering since the advent of structured programming until now, software engineers are faced with tremendous challenges mostly due to the development of large software programs that behave as open systems. Multi-agent
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d9d3074e63db69ebd02990b26789e496
https://doi.org/10.1109/smc.2015.33
https://doi.org/10.1109/smc.2015.33
Autor:
Richard St-Denis, Masoud Barati
Publikováno v:
2015 Internet Technologies and Applications (ITA).
The behavior composition problem consists in the synthesis of a controller that coordinates a set of available behaviors with the aim of realizing a desired target behavior. This problem suffers from a serious drawback because, for many instances, th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6645d345ec62ff9f326835d198b6c343
https://doi.org/10.1109/itecha.2015.7317380
https://doi.org/10.1109/itecha.2015.7317380
Autor:
Richard St-Denis, Masoud Barati
Publikováno v:
NOF
One of the open issues in cloud computing is service discovery. Another issue, which has received less attention by practitioners in the cloud computing industry, is service composition based on formal methods, particularly those based on automata an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::74335d5bf312fe4591817c854f450f97
https://doi.org/10.1109/nof.2015.7333293
https://doi.org/10.1109/nof.2015.7333293
Autor:
Richard St. Denis
Publikováno v:
Particle Physics at the Year of Centenary of Bruno Pontecorvo.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5d7ab8e5c4fe7e7653fcff14c983245b
https://doi.org/10.1142/9789814663618_0025
https://doi.org/10.1142/9789814663618_0025