This work presents a Propositional Dynamic Logic (πDL) in which the programs are described in a language based on the π-Calculus without replication. Our goal is to build a dynamic logic that is suitable for the des...
详细信息
Visualization of highway traffic environments in virtual reality plays a key role on fidelity of simulation and validity of driving behaviors in driving simulator studies. This paper describes a procedure to replicate...
详细信息
Visualization of highway traffic environments in virtual reality plays a key role on fidelity of simulation and validity of driving behaviors in driving simulator studies. This paper describes a procedure to replicate a signalized intersection with many complex features into a driving simulator's 3-D databases through building a graphical visual database, constructing a road motion database, and creating simulated traffic. The validity of the visualization was assessed via the comparison of the drivers' speeds in the simulator and the speed data at the real intersection. It was found that both speed data follow normal distributions and have equal means for each intersection approach;however, that the speeds measured in the driving simulator have a larger variability than those measured in the field. The users' subjective evaluation results indicated that 92% subjects could recognize the simulated intersection in the driving simulator experiment. Therefore, the strategy of geo-specific environment modeling would be useful for studying driving behaviors in virtual environments.
Business processes modeling projects are increasingly widespread in organizations. Companies have several processes to be identified and modeled. They usually invest much in hiring expert consultants to do such job. H...
详细信息
ISBN:
(纸本)9789898425065
Business processes modeling projects are increasingly widespread in organizations. Companies have several processes to be identified and modeled. They usually invest much in hiring expert consultants to do such job. However, they still find no guidelines to help them estimate how much a process modeling project will cost or how long this will take. We propose an approach to estimate the effort required to conduct a BPM project and discuss results obtained from over 50 projects in a large Brazilian company.
Software differs from most manufactured products because it is intangible. This characteristic makes it difficult to detect, control, and understand how it evolves. This paper presents an approach based on software vi...
详细信息
Complexity and dynamism of day-to-day activities in organizations are inextricably linked, one impacting the other, increasing the challenges for constant adaptation of the way to organize work to address emerging dem...
详细信息
ISBN:
(纸本)9789898425065
Complexity and dynamism of day-to-day activities in organizations are inextricably linked, one impacting the other, increasing the challenges for constant adaptation of the way to organize work to address emerging demands. In this scenario, there are a variety of information, insight and reasoning being processed between people and systems, during process execution. We argue that process variations could be decided in real time, using context information collected. This paper presents a proposal for a business process line cycle, with a set of activities encapsulated in the form of components as central artefact. We explain how composition and adaptation of work may occur in real time and discuss a scenario for this proposal.
The idea of a Kripke semantics endowed with possibility/plausibility information is not new; in fact there are different approaches for that; see: [6], [13], [16], [19]. This paper follows the approach found in [6], b...
详细信息
The idea of a Kripke semantics endowed with possibility/plausibility information is not new; in fact there are different approaches for that; see: [6], [13], [16], [19]. This paper follows the approach found in [6], but whereas [6] provides a fixed interpretation for connectives into [0,1] here we provide a characterization of a fuzzy semantics for connectives in such a way that the resulting fuzzy frames: K, T and D, are described precisely by the set of statements which also describes, respectively, the usual modal systems K, T and D.
作者：
Magdaleno, Andréa MagalhãesCOPPE/PESC
System Engineering and Computer Science Program UFRJ Rio de Janeiro Brazil NP2Tec
Research and Practice Group in Information Technology UNIRIO Rio de Janeiro Brazil
A major activity performed by the manager before starting a software project is tailoring its development process. Such activity requires information about the context under which the project will be executed, includi...
详细信息
作者：
Magdaleno, Andréa MagalhãesCOPPE/PESC
System Engineering and Computer Science Program UFRJ PO Box 68511 21945-970 Rio de Janeiro RJ Brazil NP2Tec
Research and Practice Group in Information Technology UNIRIO Brazil
Neither traditional, agile or free/open software development models can be effective to all projects contexts. We claim that collaboration and discipline can be the driver to tailor software development processes to m...
详细信息
The main knowledge management challenges are to capture, store and reuse contextual knowledge generated during interactions that occur daily in an organization. In this paper, we propose an activity context-aware arch...
详细信息
This paper describes a co-evolutionary algorithm for generating simple spatially oriented tactics and considers whether students can learn better by playing against co-evolved opponents or by playing against an expert...
详细信息
暂无评论