1076 search results - page 148 / 216 » Feature Identification: A Novel Approach and a Case Study |
WSE
2006
IEEE
15 years 6 months ago
2006
IEEE
A challenge of existing program comprehension approaches is to provide consistent and flexible representations for software systems. Maintainers have to match their mental models ...
103
click to vote
CAV
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Synthesis of finite state systems from full linear time temporal logic (LTL) specifications is gaining more and more attention as several recent achievements have signi...
100
click to vote
CBSE
2006
Springer
15 years 4 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
105
Voted
CN
2007
15 years 18 days ago
2007
The proliferation of heterogeneous devices and diverse networking technologies demands flexible models to guarantee the quality-of-service(QoS) at the application session level, ...
140
click to vote
USS
2008
15 years 2 months ago
2008
Antivirus software is one of the most widely used tools for detecting and stopping malicious and unwanted files. However, the long term effectiveness of traditional hostbased anti...