Sciweavers

2306 search results - page 36 / 462
» Modeling issues in a shipping system
Sort
View
WSC
2001
13 years 10 months ago
Hybrid agent-based simulation for analyzing the national airspace system
Hybrid agent-based simulation is required to provide a mechanism for analyzing large-scale complex systems, such as the National Airspace System (NAS). The dynamic behavior of man...
Seungman Lee, Amy R. Pritchett, David Goldsman
ICMCS
1994
IEEE
95views Multimedia» more  ICMCS 1994»
14 years 1 months ago
Representing Time in Multimedia Systems
1 As multimedia system integrate a variety of temporally interrelated media items, synchronization is an important issue in those systems. One part of synchronization is the repres...
Thomas Wahl, Kurt Rothermel
ETFA
2005
IEEE
14 years 2 months ago
Reuse of components in formal modeling and verification of distributed control systems
This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring...
Valeriy Vyatkin, Hans-Michael Hanisch
IEEEARES
2008
IEEE
14 years 3 months ago
Hierarchical Domains for Decentralized Administration of Spatially-Aware RBAC Systems
Emerging models for context-aware role-based access control pose challenging requirements over policy administration. In this paper we address the issues raised by the decentraliz...
Maria Luisa Damiani, Claudio Silvestri, Elisa Bert...
WMCSA
2008
IEEE
14 years 3 months ago
Urban sensing systems: opportunistic or participatory?
The development of sensing systems for urban deployments is still in its infancy. An interesting unresolved issue is the precise role assumed by people within such systems. This i...
Nicholas D. Lane, Shane B. Eisenman, Mirco Musoles...