Sciweavers

4348 search results - page 180 / 870
» Using UML for Modeling Complex Real-Time Systems
Sort
View
ICRA
2005
IEEE
101views Robotics» more  ICRA 2005»
15 years 10 months ago
Near Time-optimal Constrained Trajectory Planning on Outdoor Terrain
— We present an outdoor terrain planner that finds near optimal trajectories under dynamic and kinematic constraints. The planner can find solutions in close to real time by re...
Marin Kobilarov, Gaurav S. Sukhatme
WSC
1997
15 years 6 months ago
The Four Phase Method for Modelling Complex Systems
This paper investigates an attempt to combine different simulation tools in order to build a simulation environment that can be used to model complex system behaviour. The compone...
Hamad I. Odhabi, Ray J. Paul, Robert D. Macredie
FMCO
2008
Springer
167views Formal Methods» more  FMCO 2008»
15 years 6 months ago
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
Natallia Kokash, Farhad Arbab
FPLAY
2008
15 years 6 months ago
Using conflict theory to model complex societal interactions
Conflict theory can be used to explain the interactions between societies during times of turmoil and change (i.e. revolutions, strikes or everyday debates). Games have been produ...
Ben Medler, Joe Fitzgerald, Brian Magerko
MATES
2004
Springer
15 years 10 months ago
From Modeling to Simulation of Multi-agent Systems: An Integrated Approach and a Case Study
Abstract. In this paper, an integrated approach for the modeling and the validation through simulation of multi-agent systems is proposed. The approach centers on the instantiation...
Giancarlo Fortino, Alfredo Garro, Wilma Russo