Sciweavers

1812 search results - page 70 / 363
» Dynamic Updating of Software Systems Based on Aspects
Sort
View
EWSA
2004
Springer
15 years 10 months ago
Model Checking for Software Architectures
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
Radu Mateescu
SIGSOFT
2008
ACM
16 years 5 months ago
Alchemy: transmuting base alloy specifications into implementations
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...
Shriram Krishnamurthi, Kathi Fisler, Daniel J. Dou...
141
Voted
ICC
2007
IEEE
111views Communications» more  ICC 2007»
15 years 11 months ago
Scalable Maintenance for Strong Web Consistency in Dynamic Content Delivery Overlays
— Content Delivery Overlays improves end-user performance by replicating Web contents on a group of geographically distributed sites interconnected over the Internet. However, wi...
Zhou Su, Jiro Katto, Yasuhiko Yasuda
169
Voted
NDT
2010
15 years 3 months ago
A Scalable Framework for Serializable XQuery
This paper focuses on an aspect that is widely neglected in native XML database management systems: support for concurrent transactional access. We analyze the isolation requireme...
Sebastian Bächle, Theo Härder
IWPC
2009
IEEE
15 years 11 months ago
OGAN: Visualizing object interaction scenarios based on dynamic interaction context
Visualizing an execution trace of an object-oriented system as sequence diagrams is effective to understand the behavior of the system. To support developers to understand concret...
Munakata Satoshi, Takashi Ishio, Katsuro Inoue