2585 search results - page 482 / 517 » Automating Coherent Logic |
108
click to vote
IEEEICCI
2003
IEEE
15 years 6 months ago
2003
IEEE
Abstract— An ontology is a formal language adequately representing the knowledge used for reasoning in a specific environment. When contradictions arise and make ontologies inad...
178
Voted
LICS
2003
IEEE
15 years 6 months ago
2003
IEEE
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
102
Voted
RSP
2003
IEEE
15 years 6 months ago
2003
IEEE
The paper shows the outlines of the SLAM system and how its design is suitable for automating rapid prototyping. The system includes a very expressive object oriented specificati...
116
click to vote
TPHOL
2003
IEEE
15 years 6 months ago
2003
IEEE
Abstract. It is well known that mathematical proofs often contain (abstract) algorithms, but although these algorithms can be understood by a human, it still takes a lot of time an...
86
Voted
WCRE
2003
IEEE
15 years 6 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...