Sciweavers

9642 search results - page 1607 / 1929
» Semantics in Multimedia Systems
Sort
View
FMCO
2009
Springer
161views Formal Methods» more  FMCO 2009»
14 years 9 months ago
The How and Why of Interactive Markov Chains
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
Holger Hermanns, Joost-Pieter Katoen
FOMI
2009
14 years 9 months ago
A First-Order Cutting Process Ontology for Sheet Metal Parts
The semantic integration of manufacturing systems has been impeded by the lack of rigorous ontologies for specific domains of manufacturing processes and resources. In this paper w...
Michael Grüninger, Arnaud Delaval
ICISS
2009
Springer
14 years 9 months ago
Method-Specific Java Access Control via RMI Proxy Objects Using Annotations
We propose a novel approach for granting partial access on arbitrary objects at the granularity of methods to remote clients. The applications that we target use Remote Method Invo...
Jeff Zarnett, Patrick Lam, Mahesh V. Tripunitara
ICSOC
2009
Springer
14 years 9 months ago
Towards Ontology Matching for Intelligent Gadgets
The FAST gadget development environment allows users to graphically compose intelligent, i.e., semantically annotated gadgets from predefined building blocks and deploy them on var...
Oszkar Ambrus, Knud Möller, Siegfried Handsch...
CORR
2010
Springer
180views Education» more  CORR 2010»
14 years 8 months ago
XSB: Extending Prolog with Tabled Logic Programming
The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Prolog systems, including XSB, YAP Prolog, B-Prolog, Mercury, ALS, and Ciao. The reasons for this ar...
Terrance Swift, David Scott Warren
« Prev « First page 1607 / 1929 Last » Next »