3507 search results - page 577 / 702 » Slicing for architectural analysis |
218
Voted
ISORC
2005
IEEE
16 years 17 days ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
181
click to vote
MUM
2005
ACM
16 years 16 days ago
2005
ACM
This paper proposes an intelligent mobile middleware utilizing group-based content push with dynamic session startup and plugand-play features. Solution enhances the distribution ...
203
click to vote
WOSP
2005
ACM
16 years 16 days ago
2005
ACM
Recently, growing attention is focused on run-time management of Quality of Service (QoS) of complex software systems. In this context, self-adaptation of applications, based on r...
211
click to vote
WOSP
2005
ACM
16 years 16 days ago
2005
ACM
The evolution towards IP-aware access networks creates the possibility (and, indeed, the desirability) of additional network services, like firewalling or NAT, integrated into th...
150
click to vote
WWW
2005
ACM
16 years 16 days ago
2005
ACM
In this poster, we present an information extraction engine for web-based forums. The engine analyzes the HTML files crawled from web forums, deduces the wrapper (template) of the...