695 search results - page 47 / 139 » Dynamic Software Architectures Verification using DynAlloy |
FMICS
2006
Springer
13 years 11 months ago
2006
Springer
Parking garages that stow and retrieve cars automatically are becoming viable solutions for parking shortages. However, these are complex systems and a number of severe incidents i...
WICSA
2008
13 years 9 months ago
2008
The right software architecture is critical to achieving essential quality attributes, but these qualities are only realized if the program as implemented conforms to its intended...
VAMOS
2008
Springer
13 years 9 months ago
2008
Springer
In this paper we propose an approach to support dynamic or runtime variability in systems that must adapt dynamically to changing runtime context. The approach is founded on refle...
CGO
2003
IEEE
14 years 28 days ago
2003
IEEE
Optimizing programs at run-time provides opportunities to apply aggressive optimizations to programs based on information that was not available at compile time. At run time, prog...
ICSEA
2007
IEEE
14 years 1 months ago
2007
IEEE
Web services are often employed to create wide distributed evolvable applications from existing components that constitute a service-based software system. ServiceOriented Archite...