Sciweavers

3529 search results - page 499 / 706
» A Model for Interaction of Agents and Environments
Sort
View
RTSS
1998
IEEE
15 years 10 months ago
The Time-Triggered Model of Computation
: The Time-Triggered (TT) model of computation is a model for the representation and analysis of the design of large hard real-time systems. Central to this model is the concept of...
Hermann Kopetz
IFM
2010
Springer
204views Formal Methods» more  IFM 2010»
15 years 5 months ago
Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems
This paper presents initial results of research aimed at developing methods and tools for multidisciplinary collaborative development of dependable embedded systems. We focus on th...
John S. Fitzgerald, Peter Gorm Larsen, Ken Pierce,...
SAC
2006
ACM
16 years 14 days ago
Service-oriented grid computation for large-scale parameter estimation in complex environmental modeling
Complex environmental modeling often involves a large number of unknown physical and ecological parameters. Parameter estimation is one of the most difficult steps in many modelin...
Kejing He, Shoubin Dong, Li Zheng
HUC
2003
Springer
15 years 11 months ago
Building World Models by Ray-Tracing within Ceiling-Mounted Positioning Systems
Context-aware computing in location-aware environments demands the combination of real world position with a computational world model to infer context. We present a novel approach...
Robert K. Harle, Andy Hopper
APSEC
2006
IEEE
15 years 8 months ago
Using Operational Architecture to Model Embedded Software
Almost methods in embedded software modeling take software architecture as one of the crucial parts of the design process. Since a principal role of embedded software is the inter...
Sang-Uk Jeon, Jang-Eui Hong, Doo-Hwan Bae