432 search results - page 73 / 87 » Assessing the Evolvability of Software Architectures |
IFIP
2003
Springer
14 years 28 days ago
2003
Springer
Wi-Fi hotspots are one of the most promising scenarios for mobile computing. In this scenario, a very limiting factor is the scarcity of mobile-device energetic resources. Both har...
ESCIENCE
2005
IEEE
14 years 1 months ago
2005
IEEE
The GRIA project set out to make the Grid usable by industry. The GRIA middleware is based on Web Services, and designed to meet the needs of industry for security and business-to...
ENTCS
2002
13 years 7 months ago
2002
In this work we present Zeus, a Distributed Model-Checker that evolves from the tool Kronos [8] and that currently can handle backwards computation of TCTLreachability properties ...
ECBS
1999
IEEE
14 years 1 days ago
1999
IEEE
Model integrated computing (MIC) is gaining increased attention as an effective and efficient method for developing, maintaining, and evolving large-scale, domain-specific softwar...
BPM
2008
Springer
13 years 9 months ago
2008
Springer
In a service-oriented architecture, software services interact by means of message exchanges that follow certain patterns documented in the form of behavioural interfaces. As any s...