3481 search results - page 163 / 697 » Architecture as Object Models of Software |
168
click to vote
GPCE
2007
Springer
16 years 14 days ago
2007
Springer
Maintaining integrity, consistency, and enforcing conformance in architectures of large-scale systems requires specification and enforcement of many different forms of structural...
168
click to vote
EICS
2009
ACM
15 years 11 months ago
2009
ACM
Complex and dynamic interaction behaviors in applications such as Virtual Reality (VR) systems are difficult to design and develop. Reasons for this include the complexity and lim...
180
click to vote
CODES
2008
IEEE
16 years 24 days ago
2008
IEEE
The heterogeneity of modern MPSoC architectures, coupled with the increasing complexity of the applications mapped onto them has recently led to a lot of interest in hybrid perfor...
183
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Symmetry reduction is a technique to alleviate state explosion in model checking by replacing a model of replicated processes with a bisimilar quotient model. The size of...
166
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Service-oriented architectures (SOA) will provide the basis of the next generation of distributed software systems, and have already gained enormous traction in the industry throu...