Sciweavers

2527 search results - page 366 / 506
» Aging in language dynamics
Sort
View
ECEASST
2008
69views more  ECEASST 2008»
15 years 6 months ago
Verifying Model Transformations by Structural Correspondence
: Model transformations play a significant role in model based software development, and the correctness of the transformation is crucial to the success of the development effort. ...
Anantha Narayanan, Gabor Karsai
IANDC
2008
84views more  IANDC 2008»
15 years 6 months ago
A theory of system behaviour in the presence of node and link failure
We develop a behavioural theory of distributed programs in the presence of failures such as nodes crashing and links breaking. The framework we use is that of D, a language in whi...
Adrian Francalanza, Matthew Hennessy
IJVR
2008
100views more  IJVR 2008»
15 years 6 months ago
User Pluggable Animation Components in Multi-user Virtual Environment
One of the key functions to popularize 3D content services on virtual environments is on the extensibility of the underlying system. In our previous work, we had implemented an ext...
Yu-Lin Chu, Tsai-Yen Li, Cheng-Chia Chen
ISI
2008
Springer
15 years 6 months ago
Towards service-oriented continuous queries in pervasive systems
Pervasive information systems give an overview of what digital environments should look like in the future. From a data-centric point of view, traditional databases have to be used...
Yann Gripay, Frédérique Laforest, Je...
JCM
2006
124views more  JCM 2006»
15 years 6 months ago
Policy Defined Spectrum sharing and medium Access for Cognitive Radios
Spectrum regulation will undergo elementary changes in the near future allowing a less restricted and more flexible access to radio spectrum. Intelligent radios, socalled cognitive...
Lars Berlemann, Stefan Mangold, Guido R. Hiertz, B...