641 search results - page 42 / 129 » Applications of a Logical Discovery Engine |
WCRE
2003
IEEE
14 years 26 days 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...
ESSOS
2011
Springer
12 years 11 months ago
2011
Springer
Abstract. The security requirements of complex multi-tier web applications have shifted from simple localized needs, such as authentication or authorization, to physically distribu...
EUROSYS
2007
ACM
13 years 11 months ago
2007
ACM
Middleware simplifies the construction of distributed applications. These applications typically require continuous uptime. The maintenance of distributed applications, though, im...
CODES
2003
IEEE
14 years 27 days ago
2003
IEEE
Boolean logic minimization is traditionally used in logic synthesis tools running on powerful desktop computers. However, logic minimization has recently been proposed for dynamic...
PADL
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. For practical applications, the use of top-down query-driven proofprocedures is essential for an efficient use and computation of answers using Logic Programs as knowledg...