407 search results - page 58 / 82 » An Automated Verification Method for Distributed Systems Sof... |
115
Voted
ACAL
2007
Springer
15 years 4 months ago
2007
Springer
This paper addresses the topic of how architectural visual experience can be represented and utilised by a software system. The long-term aim is to equip an artificial agent with ...
117
Voted
FM
2005
Springer
15 years 8 months ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
138
Voted
CASES
2010
ACM
14 years 11 months ago
2010
ACM
Approximate arithmetic is a promising, new approach to lowenergy designs while tackling reliability issues. We present a method to optimally distribute a given energy budget among...
126
Voted
ICSM
2005
IEEE
15 years 8 months ago
2005
IEEE
Clustering layouts of software systems combine two important aspects: they reveal groups of related artifacts of the software system, and they produce a visualization of the resul...
135
Voted
SAC
2005
ACM
15 years 8 months ago
2005
ACM
The launch of new features for mobile phones is increasing and the product life cycle symmetrically decreasing in duration as higher levels of sophistication are reached. Therefor...