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 7 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 6 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 10 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
205
Voted
BIRTHDAY
2008
Springer
15 years 8 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 ...