Sciweavers

2817 search results - page 59 / 564
» An Architecture for Emergent Semantics
Sort
View
UML
2000
Springer
15 years 10 months ago
Reconciling the Needs of Architectural Description with Object-Modeling Notations
Complex software systems require expressive notations for representing their software architectures. Two competing paths have emerged. One is to use a specialized notation for arc...
David Garlan, Andrew Kompanek
ICC
2009
IEEE
15 years 4 months ago
Selecting Concurrent Network Architectures at Runtime
The current Internet architecture nicely structures functionality into layers of protocols. While this reduces complexity, many tweaks have emerged because of the architecture'...
Lars Völker, Denis Martin, Christoph Werle, M...
SIGSOFT
2003
ACM
16 years 7 months ago
Bogor: an extensible and highly-modular software model checking framework
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
Robby, Matthew B. Dwyer, John Hatcliff
ICSOC
2004
Springer
15 years 11 months ago
Toward autonomic web services trust and selection
Emerging Web services standards enable the development of large-scale applications in open environments. In particular, they enable services to be dynamically bound. However, curr...
E. Michael Maximilien, Munindar P. Singh
UML
2004
Springer
15 years 11 months ago
Query Models
The need for querying software artifacts is a new emerging design issue in modern software development. Novel techniques such as Model-Driven Architecture or Aspect-Oriented Softwa...
Dominik Stein, Stefan Hanenberg, Rainer Unland