3844 search results - page 487 / 769 » Modular interpreted systems |
186
click to vote
ECOWS
2007
Springer
16 years 24 days ago
2007
Springer
Service-Oriented Architectures (SOAs) are increasingly deployed to achieve distributed systems that are modular, flexible and extensible. Designing for a SOA can be difficult, how...
186
click to vote
ESOP
2007
Springer
16 years 24 days ago
2007
Springer
We study the relationship between Concurrent Separation Logic (CSL) and the assume-guarantee (A-G) method (a.k.a. rely-guarantee method). We show in three steps that CSL can be tre...
159
click to vote
FASE
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a model...
171
click to vote
FROCOS
2007
Springer
16 years 24 days ago
2007
Springer
Web services send and receive messages in XML syntax with some parts hashed, encrypted or signed, according to the WS-Security standard. In this paper we introduce a model to forma...
163
click to vote
MODELS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Separation of Concerns (SoC) is an important issue to reduce the complexity of software. Recent advances in programming language research show that Aspect-Oriented Progra...