6348 search results - page 601 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
197
click to vote
FASE
2005
Springer
16 years 23 days ago
2005
Springer
This tool paper describes a modular program slicer for Java built using the Indus program analysis framework along with it’s Eclipse-based user interface called Kaveri. Indus pro...
215
click to vote
OOPSLA
2004
Springer
16 years 17 days ago
2004
Springer
Component-based enterprise systems often suffer from performance issues as a result of poor system design. In this paper, we propose a framework to automatically detect, assess an...
234
click to vote
SEM
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. Ubiquitous computing is a challenge for the design of middleware. The reasons are resource constraints, mobility, heterogeneity, etc., just to name a few. We argue that s...
183
click to vote
SCAM
2003
IEEE
16 years 15 days ago
2003
IEEE
Many static analyses aim at assigning to each control point of a program an invariant property that characterizes any state of a trace corresponding to this point. The choice of t...
172
click to vote
EUROMICRO
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper proposes and evaluates error detection and recovery mechanisms suitable for embedded systems. The purpose of these mechanisms is to provide detection of and recovery fr...