Sciweavers

1953 search results - page 110 / 391
» Dependability Modeling and Analysis in Dynamic Systems
Sort
View
IPPS
2000
IEEE
14 years 2 months ago
A Framework for Embedded Real-Time System Design
This paper describes a framework for parametric analysis of real-time systems based on process algebra. The Algebra of Communicating Shared Resources ACSR has been extended to AC...
Jin-Young Choi, Hee-Hwan Kwak, Insup Lee
JMLR
2010
194views more  JMLR 2010»
13 years 5 months ago
Graphical Gaussian modelling of multivariate time series with latent variables
In time series analysis, inference about causeeffect relationships among multiple times series is commonly based on the concept of Granger causality, which exploits temporal struc...
Michael Eichler
MOBILWARE
2010
ACM
13 years 8 months ago
Towards an Elastic Application Model for Augmenting Computing Capabilities of Mobile Platforms
We propose a new elastic application model that enables the seamless and transparent use of cloud resources to augment the capability of resourceconstrained mobile devices. The sal...
Xinwen Zhang, Sangoh Jeong, Anugeetha Kunjithapath...
CSL
2010
Springer
13 years 11 months ago
Quantified Differential Dynamic Logic for Distributed Hybrid Systems
Abstract. We address a fundamental mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics supported in analysis. Mod...
André Platzer
WSCG
2004
148views more  WSCG 2004»
13 years 11 months ago
Visualization of Dynamic Behaviour of Multi-Agent Systems
The extension of our research on analysis of a single agent or agent communities combining advanced methods of visualization with traditional AI techniques is presented in this pa...
David Rehor, Pavel Slavík, David Kadlecek, ...