Sciweavers

2020 search results - page 261 / 404
» Modeling Probe-Agent Distributed System by Goal-oriented App...
Sort
View
SRDS
1999
IEEE
15 years 10 months ago
Formal Hazard Analysis of Hybrid Systems in cTLA
Hybrid systems like computer-controlled chemical plants are typical safety critical distributed systems. In present practice, the safety of hybrid systems is guaranteed by hazard ...
Peter Herrmann, Heiko Krumm
174
Voted
SIGMOD
1996
ACM
154views Database» more  SIGMOD 1996»
15 years 10 months ago
METU Interoperable Database System
METU INteroperable Database System (MIND) is a multidatabase system that aims at achieving interoperability among heterogeneous, federated DBMSs. MIND architecture is based on OMG...
Asuman Dogac, Ugur Halici, Ebru Kilic, Gökhan...
SAC
2010
ACM
16 years 1 months ago
Trustworthy interaction balancing in mixed service-oriented systems
Web-based collaboration systems typically require dynamic and context-based interactions between people and services. To support such complex interaction scenarios, we introduce a...
Florian Skopik, Daniel Schall, Schahram Dustdar
ICMCS
2006
IEEE
219views Multimedia» more  ICMCS 2006»
16 years 11 days ago
Analysis of Multi-User Congestion Control for Video Streaming Over Wireless Networks
When multiple video sources are live-encoded and transmitted over a common wireless network, each stream needs to adapt its encoding parameters to wireless channel fluctuations, ...
Xiaoqing Zhu, Bernd Girod
ESAW
2000
Springer
15 years 10 months ago
Combining Software Components and Mobile Agents
We present a first approach that combines the mobile agent and the compositional paradigms into a new agent-based compositional model. The aim of this work is to explore the capabi...
Mercedes Amor, Mónica Pinto, Lidia Fuentes,...