Sciweavers

ENTCS
2006
112views more  ENTCS 2006»
13 years 3 months ago
An Observational Model for Spatial Logics
Emilio Tuosto, Hugo Torres Vieira
ENTCS
2006
144views more  ENTCS 2006»
13 years 3 months ago
Contorsion: A Semantic XPath Processor
This work describes the architecture of Contorsion, a semantic XPath processor that acts over an RDF mapping of XML. It contributes to a recent research trend that defines an XML-...
Rubén Tous, Jaime Delgado
ENTCS
2006
173views more  ENTCS 2006»
13 years 3 months ago
Concurrent LSC Verification: On Decomposition Properties of Partially Ordered Symbolic Automata
Partially Ordered Symbolic Automata (POSAs) are used as the semantical foundation of visual formalisms like the scenario based language of Live Sequence Charts (LSCs). To check whe...
Tobe Toben, Bernd Westphal
ENTCS
2006
139views more  ENTCS 2006»
13 years 3 months ago
Goto and Concurrency Introducing Safe Jumps in Esterel
Esterel is a design language for the specification of real time embedded systems. Based on the synchronous concurrency paradigm, its semantics describes execution
Olivier Tardieu
ENTCS
2006
135views more  ENTCS 2006»
13 years 3 months ago
Coordination Models Based on a Formal Model of Distributed Object Reflection
We propose a family of models of coordination of distributed object systems representing different views, with refinement relations between the different views. We start with dist...
Carolyn L. Talcott
ENTCS
2006
116views more  ENTCS 2006»
13 years 3 months ago
Generic Pickling and Minimization
Guido Tack, Leif Kornstaedt, Gert Smolka
ENTCS
2006
168views more  ENTCS 2006»
13 years 3 months ago
Case Study: Model Transformations for Time-triggered Languages
In this study, we introduce a model transformation tool for a time-triggered language: Giotto. The tool uses graphs to represent the source code (Giotto) and the target (the sched...
Tivadar Szemethy
ENTCS
2006
135views more  ENTCS 2006»
13 years 3 months ago
Initializing Mutually Referential Abstract Objects: The Value Recursion Challenge
zing Mutually Referential Abstract Objects: The Value Recursion Challenge Don Syme 1 Microsoft Research, Cambridge, U.K. Mutual dependencies between objects arise frequently in pr...
Don Syme
ENTCS
2006
114views more  ENTCS 2006»
13 years 3 months ago
Run-Time Checking of Dynamic Properties
We consider a first-order property specification language for run-time monitoring of dynamic systems. The language is based on a linear-time temporal logic and offers two kinds of...
Oleg Sokolsky, Usa Sammapun, Insup Lee, Jesung Kim
ENTCS
2006
97views more  ENTCS 2006»
13 years 3 months ago
A Type-Safe Embedding of XDuce into ML
Martin Sulzmann, Kenny Zhuo Ming Lu