Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Paulo Salem da Silva"'
Autor:
Paulo Salem da Silva
Publikováno v:
Biblioteca Digital de Teses e Dissertações da USPUniversidade de São PauloUSP.
Multi-agent systems (MASs) can be used to model phenomena that can be decomposed into several interacting agents which exist within an environment. In particular, they can be used to model human and animal societies, for the purpose of analysing thei
Autor:
Paulo Salem da Silva
Publikováno v:
Proceedings of the ACM on Human-Computer Interaction. 1:1-17
The design of user interfaces (UIs), such as World Wide Web pages, usually consists in a human designer mapping one particular problem (e.g., the demands of a customer) to one particular solution (i.e., the UI). In this article, a technology based on
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1a81d4b06835121088447caf03fdd477
https://doi.org/10.1145/3099583
https://doi.org/10.1145/3099583
Autor:
Paulo Salem da Silva
Publikováno v:
ESEC/SIGSOFT FSE
Experimentation aspects (e.g., systematic observation, exploration of alternatives, formulation of hypotheses and empirical testing) can be found dispersed and intertwined in many software systems. Numerous examples are provided in this article. This
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3ec8095b87b8094faa2eb0460471a060
https://doi.org/10.1145/3236024.3264831
https://doi.org/10.1145/3236024.3264831
Publikováno v:
SIMULATION. 89:977-1008
Discrete event simulations can be used to analyze natural and artificial phenomena. To this end, one provides models whose behaviors are characterized by discrete events in a discrete timeline. By running such a simulation, one can then observe its p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d201c0ca46dd81e1a1c8d82632ec2293
https://doi.org/10.1177/0037549713490439
https://doi.org/10.1177/0037549713490439
Autor:
Paulo Salem da Silva
Publikováno v:
ICSE (Companion Volume)
Finite-state machines (FSMs) are among the oldest models employed in the formalization and analysis of both software and hardware. Owing to their simplicity, there exist various implementations to support their practical application in mainstream pro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8049e31b0bed921c8cce0cd6cf0b6d49
https://doi.org/10.1145/2889160.2889226
https://doi.org/10.1145/2889160.2889226
Publikováno v:
Electronic Notes in Theoretical Computer Science. 240:97-112
During a program's execution, state information can be collected and stored in the form of program traces. With such traces, one can analyze dynamic properties of the program. In this paper, we consider the problem of merging multiple traces from the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fcb703bd64a5a49fe9b62b1bcccd8fab
Publikováno v:
2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT).
Multi-Agent Systems (MASs) can be used to model human and animal societies, for the purpose of analyzing their properties by computational means. We propose a verification technique that investigates such MASs by means of guided simulations. This is
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dd6c71a677648dfcb072ca6e8a0bb545
https://doi.org/10.1109/wi-iat.2013.119
https://doi.org/10.1109/wi-iat.2013.119
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642198281
SBMF
SBMF
Multi-agent systems are employed to model complex systems which can be decomposed into several interacting pieces called agents. In such systems, agents exist, evolve and interact within an environment. In this paper we present a model for the specif
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::784d68b7b2d5df8a2e8cc32196cb839c
https://doi.org/10.1007/978-3-642-19829-8_5
https://doi.org/10.1007/978-3-642-19829-8_5
Publikováno v:
Fundamental Approaches to Software Engineering ISBN: 9783540712886
FASE
FASE
In this paper we present a formal specification of a traditionally informal domain of knowledge: the Behavior Analysis psychological theory. Our main objective is to highlight some motivations, issues, constructions and insights that, we believe, are
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e77e73d6e6e02e9523b1facac9e0f9d6
https://doi.org/10.1007/978-3-540-71289-3_5
https://doi.org/10.1007/978-3-540-71289-3_5
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540297383
OTM Conferences (2)
OTM Conferences (2)
The increasing interest of developing and formally studying mobile agents has taken place in the last decade. Several formalisms and tools have been created to aid this enterprise. However, tools are mostly developed in isolation and, therefore, are
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::01be89aecf88886ada487d18d7eba768
https://doi.org/10.1007/11575801_35
https://doi.org/10.1007/11575801_35