2836 search results - page 358 / 568 » Model Checking for Software Architectures |
165
click to vote
WSC
2001
15 years 8 months ago
2001
Taylor Enterprise Dynamics (Taylor ED) is an objectoriented software system used to model, simulate, visualize, and monitor dynamic-flow process activities and systems. Atoms are ...
183
click to vote
WOSP
2005
ACM
16 years 7 days ago
2005
ACM
Evaluation of non-functional properties of a design (such as performance, dependability, security, etc.) can be enabled by design annotations specific to the property to be evalua...
155
click to vote
DEXAW
2003
IEEE
15 years 12 months ago
2003
IEEE
Application-layer networks (ALN) are software architectures that allow the provisioning of services requiring a huge amount of resources by connecting large numbers of individual ...
199
click to vote
ICAC
2009
IEEE
15 years 10 months ago
2009
IEEE
In large-scale, distributed software systems, an important management undertaking concerns the creation and runtime modification of application instances. This short paper propose...
202
click to vote
ESAW
2008
Springer
15 years 8 months ago
2008
Springer
Modern software systems share with social organizations the attributes of being large-scale, distributed, and heterogeneous systems of systems. The organizational metaphor for soft...