525 search results - page 46 / 105 » Static Interpretation of Modules |
AAECC
1998
Springer
14 years 9 months ago
1998
Springer
We describe a new approach of the generalized Bezout identity for linear time-varying ordinary differential control systems. We also explain when and how it can be extended to line...
CC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This tool demonstration presents Hob, a system for verifying data structure consistency for programs written in a general-purpose programming language. Our tool enables t...
WEBNET
1998
14 years 11 months ago
1998
: This paper gives a short description of a working prototype of an intelligent background knowledge broker as an enhancement module of the Web base training system GENTLE [Maurer ...
WCRE
2003
IEEE
15 years 3 months ago
2003
IEEE
In this paper we describe our approach to reconstructing the software architecture of J2EE web applications. We use the Siemens Four Views approach, separating the architecture in...
JIRS
2000
14 years 9 months ago
2000
Abstract. Autonomous learning systems of significant complexity often consist of several interacting modules or agents. These modules collaborate to produce a system which, when vi...