Výsledky vyhledávání

Report

The Planning Spectrum - One, Two, Three, Infinity

Autor: Pistore, M., Vardi, M. Y.

Publikováno v: Journal Of Artificial Intelligence Research, Volume 30, pages 101-132, 2007

Linear Temporal Logic (LTL) is widely used for defining conditions on the execution paths of dynamic systems. In the case of dynamic systems that allow for nondeterministic evolutions, one has to specify, along with an LTL formula f, which are the pa

Externí odkaz: http://arxiv.org/abs/1109.6346

Zobrazit plný text záznamu

Akademický článek

Weak, strong, and strong cyclic planning via symbolic model checking

Autor: Cimatti, A., Pistore, M., Roveri, M., Traverso, P.

Publikováno v: In Artificial Intelligence 2003 147(1):35-84

Zobrazit plný text záznamu

Towards expert knowledge representation for automatic breast cancer detection

Autor: Velikova, M.V., Samulski, M.R.M., Karssemeijer, N., Lucas, P.J.F., Dochev, D., Pistore, M.

Publikováno v: Dochev, D.; Pistore, M. (ed.), Artificial Intelligence: Methodology, Systems, and Applications : 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008. Proceedings, 333-344. Berlin : Springer-Verlag
STARTPAGE=333;ENDPAGE=344;ISSN=0302-9743;TITLE=Dochev, D.; Pistore, M. (ed.), Artificial Intelligence: Methodology, Systems, and Applications : 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008. Proceedings
Dochev, D.; Pistore, M. (ed.), Artificial Intelligence: Methodology, Systems, and Applications : 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008. Proceedings, pp. 333-344

Contains fulltext : 66931.pdf ( ) (Closed access) Lecture notes in artificial intelligence Artificial Intelligence: Methodology, Systems, and Applications : 13th International Conference, AIMSA 2008, 04 september 2008

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a35ec6ffc5f4cfcd4ca22c1a35d9782a
http://hdl.handle.net/2066/66931

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

S-cube: Addressing multidisciplinary research challenges for the internet of services

Autor: Di Nitto E., Karastoyanova D., Metzger A., Parkin M., Pistore M., Pohl K., Silvestri F., Van den Heuvel W.-J.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=ec_fp7_ict__::65bc9fcd3568d6df7b7bd5d3a34890b4

Zobrazit plný text záznamu

Telecommunication case study: requirements modelling and analysis of selected scenarios. EU FP6-IP-IST-016004 project Sensoria (Software Engineering for Service-Oriented Overlay Computers). Deliverable D8.1.a, 2007

Autor: Moiso C., Ferrari L., Thuegaz E., Buscemi M., Montanari U., Bertoli P., Pistore M., Kazhamiakin R., Bruni R., Gnesi S., Ter Beek M. H., Petrocchi M., Mazzanti F., Fiadeiro J., Bocchi L.

Publikováno v: Project report, SENSORIA, Deliverable D8.1.a, 2007

The main objective of the Telecommunication Case Study in SENSORIA is to test and verify the applicability of the insights, methodologies and tools developed in the SENSORIA Project WPs more focused on research activities, on the evolution of the Ser

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::399b760ad09074b68d276ca3f3383114
https://openportal.isti.cnr.it/doc?id=people______::399b760ad09074b68d276ca3f3383114

Zobrazit plný text záznamu

A model-checking verification environment for mobile processes

Autor: Ferrari G.L., Gnesi S., Montanari U., Pistore M.

Publikováno v: ACM transactions on software engineering and methodology 12 (2003): 440–473.
info:cnr-pdr/source/autori:Ferrari G.L.; Gnesi S.; Montanari U.; Pistore M./titolo:A model-checking verification environment for mobile processes/doi:/rivista:ACM transactions on software engineering and methodology/anno:2003/pagina_da:440/pagina_a:473/intervallo_pagine:440–473/volume:12

This article presents a semantic-based environment for reasoning about the behavior of mobile systems. The verification environment, called HAL, exploits a novel automata-like model that allows finite-state verification of systems specified in the ?-

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0e47f0b1d2cbf658c4bc36d69060db27
https://openportal.isti.cnr.it/doc?id=people______::0e47f0b1d2cbf658c4bc36d69060db27

Zobrazit plný text záznamu

A model checking verification environment for mobile systems

Autor: Ferrari G., Gnesi S., Montanari U., Pistore M.

Publikováno v: ISTI Technical reports, 2003

In this paper a semantic-based environment for reasoning about the behaviour of mobile systems is presented. The verification environment, called HAL, exploits a novel automata-like model which allows finite state verification of systems specified in

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b573a9fe7b08114b80d6a1f4a8a2b51c
http://www.cnr.it/prodotto/i/160102

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání