Sciweavers

290 search results - page 49 / 58
» entcs 2006
Sort
View
ENTCS
2006
118views more  ENTCS 2006»
14 years 10 months ago
The Language Evolver Lever - Tool Demonstration -
Since many domains are constantly evolving, the associated domain specific languages (DSL) inevitably have to evolve too, to retain their value. But the evolution of a DSL can be ...
Elmar Jürgens, Markus Pizka
83
Voted
ENTCS
2006
155views more  ENTCS 2006»
14 years 10 months ago
Biomolecular Agents as Multi-behavioural Concurrent Objects
In recent years, there has been increasing interest in computational models of biological systems based on various calculi of communicating processes, such as the stochastic pi-ca...
Denys Duchier, Céline Kuttler
ENTCS
2006
116views more  ENTCS 2006»
14 years 10 months ago
How Recent is a Web Document?
One of the most important aspects of a Web document is its up-to-dateness or recency. Up-to-dateness is particularly relevant to Web documents because they usually contain content...
Bo Hu, Florian Lauck, Jan Scheffczyk
ENTCS
2006
135views more  ENTCS 2006»
14 years 10 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
173views more  ENTCS 2006»
14 years 10 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