Sciweavers

2678 search results - page 433 / 536
» Operational Semantics of Transactions
Sort
View
ENTCS
2008
120views more  ENTCS 2008»
15 years 2 months ago
Specifying and Executing Reactive Scenarios With Lutin
This paper presents the language Lutin and its operational semantics. This language specifically targets the domain of reactive systems, where an execution is a (virtually) infini...
Pascal Raymond, Yvan Roux, Erwan Jahier
IJSWIS
2008
135views more  IJSWIS 2008»
15 years 1 months ago
Efficient Processing of RDF Queries with Nested Optional Graph Patterns in an RDBMS
Relational technology has shown to be very useful for scalable Semantic Web data management. Numerous researchers have proposed to use RDBMSs to store and query voluminous RDF dat...
Artem Chebotko, Shiyong Lu, Mustafa Atay, Farshad ...
JCP
2006
115views more  JCP 2006»
15 years 1 months ago
Fault Tolerance in a Multi-Layered DRE System: A Case Study
Dynamic resource management is a crucial part of the infrastructure for emerging distributed real-time embedded systems, responsible for keeping mission-critical applications opera...
Paul Rubel, Joseph P. Loyall, Richard E. Schantz, ...
ENTCS
2007
94views more  ENTCS 2007»
15 years 1 months ago
Virtual Organizations in Arigatoni
Arigatoni is a lightweight overlay network that deploys the Global Computing Paradigm over the Internet. Communication for over the behavioral units of the overlay is performed by...
Michel Cosnard, Luigi Liquori, Raphaël Chand
GEOINFORMATICA
1998
96views more  GEOINFORMATICA 1998»
15 years 1 months ago
Experiments with Learning Techniques for Spatial Model Enrichment and Line Generalization
The nature of map generalization may be non-uniform along the length of an individual line, requiring the application of methods that adapt to the local geometry and the geographi...
Corinne Plazanet, Nara Martini Bigolin, Anne Ruas