Sciweavers

2527 search results - page 78 / 506
» Aging in language dynamics
Sort
View
CD
2004
Springer
14 years 2 months ago
Towards a Dynamic Resource Contractualisation for Software Components
Abstract In this paper we present a framework defining the architecture of systems providing software components with means to contractualise their resource access conditions with...
Nicolas Le Sommer
ICALP
2009
Springer
14 years 1 months ago
On Observing Dynamic Prioritised Actions in SOC
We study the impact on observational semantics for SOC of priority mechanisms which combine dynamic priority with local pre-emption. We define manageable notions of strong and wea...
Rosario Pugliese, Francesco Tiezzi, Nobuko Yoshida
EACL
2003
ACL Anthology
13 years 10 months ago
A Dynamic Logic Formalisation of the Dialogue Gameboard
This paper explores the possibility of using the paradigm of Dynamic Logic (DL) to formalise information states and update processes on information states. In particular, we prese...
Raquel Fernández
WICSA
2001
13 years 10 months ago
Statechart Simulator for Modeling Architectural Dynamics
Software development is a constant endeavor to optimize qualities like performance and robustness while ensuring functional correctness. Architecture Description Languages (ADLs) ...
Alexander Egyed, David S. Wile
SCP
2011
228views Communications» more  SCP 2011»
13 years 4 months ago
Dynamic consistency in process algebra: From Paradigm to ACP
The coordination modelling language Paradigm addresses collaboration between components in terms of dynamic constraints. Within a Paradigm model, component dynamics are consistent...
Suzana Andova, Luuk Groenewegen, Erik P. de Vink