Sciweavers

7529 search results - page 321 / 1506
» The Modula-3 Type System
Sort
View
SCAM
2007
IEEE
16 years 1 months ago
DATES: Design Analysis Tool for Enterprise Systems
In the current demonstration we present a new tool which increases the level of understanding and the accuracy of design quality assessment within enterprise systems. This is perf...
Cristina Marinescu
CAISE
2005
Springer
16 years 25 days ago
Factors that could be Considered on Information Systems Research Works
: Many Information Systems research works have been developed and that type of research will continue, without doubt. Starting from a documental study, this work proposes some fact...
Sergio Araya Guzman, Juan Chaparro Pelaez, Lourdes...
LPNMR
2005
Springer
16 years 23 days ago
A DLP System with Object-Oriented Features
The paper presents DLV+ a Disjunctive Logic Programming system with object-oriented constructs, including classes, objects, (multiple) inheritance, and types. DLV+ is built on top ...
Francesco Ricca, Nicola Leone, Valerio De Bonis, T...
ICTAI
1994
IEEE
15 years 11 months ago
A Knowledge Representation System for Integration of General and Case-Specific Knowledge
Combining various knowledge types - and reasoning methods - in knowledge-based systems is a challenge to the knowledge representation task. The paper describes an object-oriented,...
Agnar Aamodt
BIRTHDAY
2008
Springer
15 years 9 months ago
Temporal Verification of Probabilistic Multi-Agent Systems
Abstract. Probabilistic systems of interacting intelligent agents are considered. They have two sources of uncertainty: uncertainty of communication channels and uncertainty of act...
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars ...