Sciweavers

3689 search results - page 648 / 738
» A Language with Distributed Scope
Sort
View
CORR
2008
Springer
120views Education» more  CORR 2008»
14 years 10 months ago
XQuery Join Graph Isolation
A purely relational account of the true XQuery semantics can turn any relational database system into an XQuery processor. Compiling nested expressions of the fully compositional X...
Torsten Grust, Manuel Mayr, Jan Rittinger
CN
2006
82views more  CN 2006»
14 years 10 months ago
Event-condition-action rules on RDF metadata in P2P environments
RDF is one of the technologies proposed to realise the vision of the Semantic Web and it is being increasingly used in distributed web-based applications. The use of RDF in applic...
George Papamarkos, Alexandra Poulovassilis, Peter ...
CORR
2006
Springer
103views Education» more  CORR 2006»
14 years 10 months ago
Prolog Server Pages
Prolog Server Pages (PSP) is a scripting language, based on Prolog, than can be embedded in HTML documents. To run PSP applications one needs a web server, a web browser and a PSP...
Alin Suciu, Kalman Pusztai, Andrei Vancea
FMSD
2006
131views more  FMSD 2006»
14 years 10 months ago
Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...
Peter Csaba Ölveczky, José Meseguer, C...
FUIN
2006
89views more  FUIN 2006»
14 years 10 months ago
(Tissue) P Systems with Unit Rules and Energy Assigned to Membranes
We introduce a new variant of membrane systems where the rules are directly assigned to membranes and, moreover, every membrane carries an energy value that can be changed during a...
Artiom Alhazov, Rudolf Freund, Alberto Leporati, M...