Sciweavers

2020 search results - page 33 / 404
» Modeling Probe-Agent Distributed System by Goal-oriented App...
Sort
View
DSRT
2008
IEEE
15 years 4 months ago
Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints
The complexity and the variety of the deployed timedependent systems, as well as the high degree of reliability required for their global functioning, justify the care provided to...
Ana R. Cavalli, Edgardo Montes de Oca, Wissam Mall...
IWPC
1996
IEEE
15 years 6 months ago
A Formal Architectural Design Patterns-Based Approach to Software Understanding
Mastering the complexity of programs and systems, particularly distributed systems, should lead to signi cant improvements in program and system understanding. In this paper we pr...
Paulo S. C. Alencar, Donald D. Cowan, Thomas Kunz,...
IFM
2007
Springer
245views Formal Methods» more  IFM 2007»
15 years 8 months ago
Co-simulation of Distributed Embedded Real-Time Control Systems
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F....
TON
2010
89views more  TON 2010»
15 years 21 days ago
Demand-aware content distribution on the internet
—The rapid growth of media content distribution on the Internet in the past few years has brought with it commensurate increases in the costs of distributing that content. Can th...
Srinivas Shakkottai, Ramesh Johari
IPPS
1999
IEEE
15 years 6 months ago
Dynamic Application Structuring on Heterogeneous, Distributed Systems
The diversity of computers and networks within a distributed system makes these systems highly heterogeneous. System heterogeneity complicates the design of static applications tha...
Saurav Chatterjee