2741 search results - page 304 / 549 » Engineering Mathematical Knowledge |
150
Voted
VMCAI
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present a context-sensitive compositional analysis of information flow for full (mono-threaded) Java bytecode. Our idea consists in transforming the Java bytecode int...
97
Voted
IUI
2004
ACM
15 years 9 months ago
2004
ACM
This paper describes a concept for creating free configurable, intelligent behaving web dialogues for rule based expert systems. Free configurable is meant to indicate, that the d...
120
click to vote
COMPSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents an agent-based software environment for testing web-based applications. The infrastructure of the system consists of a lightweight agent platform that supports...
133
click to vote
ICSM
2003
IEEE
15 years 9 months ago
2003
IEEE
: The objective of this paper is to identify those factors, which are critical to the success of a maintenance operation in general and to apply them to a particular maintenance pr...
141
click to vote
KBSE
2003
IEEE
15 years 9 months ago
2003
IEEE
We present an approach to managing formal models using Model Driven Architecture (MDA) technologies that delivers analysis techniques through integration with the design tools and...