695 search results - page 126 / 139 » Dynamic Software Architectures Verification using DynAlloy |
175
click to vote
SAC
2010
ACM
15 years 12 months ago
2010
ACM
Embracing service-oriented architectures in the context of large systems, such as the Web, rises a set of new and challenging issues: increased size and load in terms of users and...
144
click to vote
ICALT
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper we present an architecture dedicated to an intelligently assisted educational tool which integrates within a unified framework software rational agents both at the m...
175
click to vote
QOSA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Component interfaces, as advanced by the Common Component Architecture (CCA), enable easy access to complex software packages for high-performance scientific computing. ...
176
click to vote
ECOOPW
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. The unrelenting pace of change that confronts contemporary software developers compels them to make their applications more configurable, flexible, and adaptable. A way t...
177
click to vote
SIMPRA
2011
14 years 12 months ago
2011
—In the Internet of the future, a flexible, dynamic combination of wireless and wired access networks is expected to be a key driver for enlarging the broadband communication se...