Zobrazeno 1 - 10
of 48
pro vyhledávání: '"Sebastiano Pizzutilo"'
Autor:
Valeria Carofiglio, Berardina De Carolis, Irene Mazzotta, Nicole Novielli, Sebastiano Pizzutilo
Publikováno v:
Interaction Design and Architecture(s), Iss 5_6, Pp 99-106 (2009)
Embedding the HCI technology with human preferences and behaviour justifies the attempt of implementing emotional and social intelligence aimed at exceeding the single ability to help the user. In this paper we present an Embodied Conversational Agen
Externí odkaz:
https://doaj.org/article/724589ba7b784a4988ffb1211cdd256b
Publikováno v:
Advances in Security, Networks, and Internet of Things ISBN: 9783030710163
We introduce MOTION, a Java tool for modeling and simulating mobile ad-hoc networks (MANET); it allows to define the abstract state machine model of the network, to translate it into the ASMETA framework, and to simulate it.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2f38a9a56803cf508fddd516158006fa
https://doi.org/10.1007/978-3-030-71017-0_34
https://doi.org/10.1007/978-3-030-71017-0_34
Publikováno v:
ICISSP
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::008e3c80342ac235d164055fcdbbab48
https://doi.org/10.5220/0008942500450051
https://doi.org/10.5220/0008942500450051
Publikováno v:
Software Engineering and Formal Methods ISBN: 9783319747804
SEFM Workshops
SEFM Workshops
The inherent features of Mobile Ad-hoc NETworks (MANETs) make them vulnerable to various kinds of security attacks. In particular, in a so-called blackhole attack, one or more malicious hosts can send fake routing information towards an initiator, co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0f99f3e15705c7994cda4ded62357ced
https://doi.org/10.1007/978-3-319-74781-1_10
https://doi.org/10.1007/978-3-319-74781-1_10
State Machines (ASMs) have been successfully applied for modeling critical and complex systems in a wide range of application domains. However, unlike other well-known formalisms, e.g. Petri nets, ASMs lack inherent, domain-independent characterisati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8919a97bd4327a19aab27a16318a83de
http://arxiv.org/abs/1707.06560
http://arxiv.org/abs/1707.06560
Publikováno v:
Cognitive Processing. 13:487-497
In this paper, we investigate the user's reactions to received suggestion by an Embodied Conversational Agent playing the role of artificial therapist in the healthy eating domain. Specifically, we analyse the behaviour of people who voluntarily requ
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::19dd187d004cef7e1520afa330a02000
https://doi.org/10.1007/s10339-011-0420-1
https://doi.org/10.1007/s10339-011-0420-1
Publikováno v:
Applied Intelligence. 26:111-124
When visiting cities as tourists, most users intend to explore the area looking for interesting things to see or for information about places, events, and so on. To inform user choice, an adaptive information system should provide contextual informat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9c10c37a1cbfdfcb9e26f96625df61cc
https://doi.org/10.1007/s10489-006-0012-4
https://doi.org/10.1007/s10489-006-0012-4
Publikováno v:
MoMM
Mobile Ad-hoc NETworks (MANETs) are wireless networks designed for communications among nomadic hosts in absence of fixed infrastructure. Different reactive protocols for MANETs, in which routes are established only when needed, provide different net
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5ec5697fee46c0919ba9eb7b6d76644e
https://doi.org/10.1145/2837126.2837129
https://doi.org/10.1145/2837126.2837129
Autor:
Filippo Tangorra, Sebastiano Pizzutilo
Publikováno v:
International Journal of Modelling and Simulation. 23:13-21
We describe a simulator that is a useful supporting tool in all activities involving computer architecture teaching. The system, developed using an object-oriented approach, integrates in a single tool different architecture models, such as CISC and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d2cbe6dedaa4dfb0013fc85fe3147d9a
https://doi.org/10.1080/02286203.2003.11442251
https://doi.org/10.1080/02286203.2003.11442251
Publikováno v:
Enterprise, Business-Process and Information Systems Modeling ISBN: 9783319192369
BMMDS/EMMSAD
BMMDS/EMMSAD
State Machines (ASMs) represent a general model of computation which subsumes all other classic computational models. Since the notion of ASM state naturally captures the classic notion of program state, ASMs are suitable to be verified through a pre
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9db5cb850e18743099a1c2b832d81c53
https://doi.org/10.1007/978-3-319-19237-6_30
https://doi.org/10.1007/978-3-319-19237-6_30