Sciweavers

1681 search results - page 186 / 337
» Formal Design of Distributed Control Systems with Lustre
Sort
View
CSI
2007
89views more  CSI 2007»
14 years 10 months ago
Writing and executing ODP computational viewpoint specifications using Maude
The Reference Model of Open Distributed Processing (RM-ODP) is a joint standardization effort by ITU-T and ISO/IEC for the specification of large open distributed systems. RM-ODP ...
José Raúl Romero, Antonio Vallecillo...
SMC
2007
IEEE
122views Control Systems» more  SMC 2007»
15 years 4 months ago
Can complexity science support the engineering of critical network infrastructures?
— Considerable attention is now being devoted to the study of “complexity science” with the intent of discovering and applying universal laws of highly interconnected and evo...
David Alderson, John C. Doyle
EDBT
2012
ACM
246views Database» more  EDBT 2012»
13 years 12 days ago
"Cut me some slack": latency-aware live migration for databases
Cloud-based data management platforms often employ multitenant databases, where service providers achieve economies of scale by consolidating multiple tenants on shared servers. I...
Sean Kenneth Barker, Yun Chi, Hyun Jin Moon, Hakan...
MATA
2001
Springer
15 years 2 months ago
The Spider Model of Agents
We take the position that large-scale distributed systems are better understood, at all levels, when locality is taken into account. When communication and mobility are clearly se...
F. Y. Huang, David B. Skillicorn
JUCS
2008
186views more  JUCS 2008»
14 years 10 months ago
Model Interpreter Frameworks: A Foundation for the Analysis of Domain-Specific Software Architectures
: Prediction of the quality attributes of software architectures requires technologies that enable the application of analytic theories to component models. However, available anal...
George Edwards, Chiyoung Seo, Nenad Medvidovic