695 search results - page 65 / 139 » Dynamic Software Architectures Verification using DynAlloy |
ISPASS
2005
IEEE
15 years 3 months ago
2005
IEEE
Simulation-based microarchitecture research is often hindered by the slow speed of simulators. In this work, we propose a novel statistical technique to identify highly representa...
WWW
2009
ACM
15 years 10 months ago
2009
ACM
We present a static control-flow analysis for JavaScript programs running in a web browser. Our analysis tackles numerous challenges posed by modern web applications including asy...
110
click to vote
SELMAS
2005
Springer
15 years 3 months ago
2005
Springer
We argue that it is useful to study classes of Multi-Agent System (MAS) architectures, corresponding to architectural styles in addition to particular tures. In this work we focus ...
CRIWG
2004
14 years 11 months ago
2004
This paper introduces AORTA, a software architecture that provides object-level coordination and shared workspace awareness support to synchronous and distributed collaborative app...
TSE
2011
14 years 4 months ago
2011
Abstract— The Publish-Subscribe (P/S) communication paradigm fosters high decoupling among distributed components. This facilitates the design of dynamic applications, but also i...