Sciweavers

1817 search results - page 54 / 364
» Extensive Games as Process Models
Sort
View
UML
2004
Springer
15 years 6 months ago
Modeling Business Processes in Web Applications with ArgoUWE
Abstract. The CASE tool ArgoUWE supports the systematic design of Web applications using the UML-based Web Engineering (UWE) approach. The design methodology of UWE is based on a m...
Alexander Knapp, Nora Koch, Gefei Zhang, Hanns-Mar...
APCCM
2009
15 years 1 months ago
Conceptional Modeling and Analysis of Spatio-Temporal Processes in Biomolecular Systems
In life science, deeper understanding of biomolecular systems is acquired by computational modeling and analysis. For the modeling of several kinds of reaction networks, e.g. sign...
Andreas Schäfer, Mathias John
113
Voted
COSIT
1999
Springer
189views GIS» more  COSIT 1999»
15 years 5 months ago
A Formal Model of the Process of Wayfinding in Built Environments
Previous recent research on human wayfinding has focused primarily on mental representations rather than processes of wayfinding. This paper presents a formal model of some aspect...
Martin Raubal, Michael F. Worboys
ICRA
2010
IEEE
145views Robotics» more  ICRA 2010»
14 years 11 months ago
Modeling and decision making in spatio-temporal processes for environmental surveillance
Abstract— The need for efficient monitoring of spatiotemporal dynamics in large environmental surveillance applications motivates the use of robotic sensors to achieve sufficie...
Amarjeet Singh 0003, Fabio Ramos, Hugh D. Whyte, W...
DSN
2011
IEEE
14 years 13 days ago
Modeling stream processing applications for dependability evaluation
— This paper describes a modeling framework for evaluating the impact of faults on the output of streaming ions. Our model is based on three abstractions: stream operators, strea...
Gabriela Jacques-Silva, Zbigniew Kalbarczyk, Bugra...