695 search results - page 51 / 139 » Dynamic Software Architectures Verification using DynAlloy |
INDIASE
2009
ACM
14 years 2 months ago
2009
ACM
When trying to reverse engineer software, execution trace analysis is increasingly used. Though, by using this technique we are quickly faced with an enormous amount of data that ...
MCS
2006
Springer
13 years 7 months ago
2006
Springer
The design of the control software for complex systems is a difficult task. It requires the modeling, the simulation, the integration and the adaptation of a multitude of intercon...
WSC
2001
13 years 9 months ago
2001
Taylor Enterprise Dynamics (Taylor ED) is an objectoriented software system used to model, simulate, visualize, and monitor dynamic-flow process activities and systems. Atoms are ...
CASES
2001
ACM
13 years 11 months ago
2001
ACM
Energy consumption is a crucial factor in designing batteryoperated embedded and mobile systems. The memory system is a major contributor to the system energy in such environments...
IEEEAMS
2002
IEEE
2002
IEEE
Understanding Consistency Maintenance in Service Discovery Architectures in Response to Message Loss
14 years 17 days ago
Current trends suggest future software systems will comprise collections of components that combine and recombine dynamically in reaction to changing conditions. Service-discovery...