Sciweavers

4126 search results - page 666 / 826
» Relationships with other Formalisms
Sort
View
DLOG
2003
15 years 7 months ago
RDFS(FA): A DL-ised Sub-language of RDFS
Description Logics (DLs), as a field of research, form a formal foundation of first-order semantic Web ontology languages, such as DAML+OIL and OWL. The Semantic Web will build ...
Jeff Z. Pan, Ian Horrocks
ISSA
2004
15 years 7 months ago
A Logic-Based Access Control Approach For Web Services
Web Services technology enables organisations to exploit software as a service. Services are accessed by method invocations. Method interfaces are described and published, and may...
Marijke Coetzee
ECIS
2003
15 years 7 months ago
Networks as alternative forms of organization: some critical remarks
This paper claims that in its current use the term ‘network’ represents no more than a suggestive image of organizing in an age of spectacular context-crossing electronic tran...
Jannis Kallinikos
FLAIRS
2003
15 years 7 months ago
Incremental Breakout Algorithm with Variable Ordering
This paper presents the Incremental Breakout Algorithm with Variable Ordering (IncBA). This algorithm belongs to the class of local search algorithms for solving Constraint Satisf...
Carlos Eisenberg, Boi Faltings
GAMEON
2003
15 years 7 months ago
Multi-Agent Based Modelling: from Social Simulation to Real Time Strategy Games
Simulation has been regarded as the third way to represent social models, alternative to other two symbol systems: the verbal argumentation and the mathematical one. Simulation ca...
Marco Remondino