4476 search results - page 688 / 896 » A flexible framework for engineering |
173
click to vote
SAC
2006
ACM
16 years 14 days ago
2006
ACM
We present in this paper an approach aiming at adapting software components. It focuses on adapting component structures instead of adapting component services. Among the motivati...
179
click to vote
SAC
2006
ACM
16 years 14 days ago
2006
ACM
In this paper, we show that representation and reasoning techniques used in traditional knowledge engineering and the emerging Semantic Web can play an important role for heteroge...
153
click to vote
CGO
2005
IEEE
16 years 4 days ago
2005
IEEE
Optimization of a real world application BLAST is used to demonstrate the limitations of static and profile-guided optimizations and to highlight the potential of runtime optimiz...
160
click to vote
COMPSAC
2005
IEEE
16 years 4 days ago
2005
IEEE
To protect software against malicious activities, organizations are required to monitor security breaches. Intrusion Detection Systems (IDS) are those kinds of monitoring tools th...
166
click to vote
KBSE
2005
IEEE
16 years 3 days ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...