312 search results - page 22 / 63 » Model Compiler Construction Based on Aspect-Oriented Mechani... |
CLEIEJ
2006
13 years 7 months ago
2006
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
IFM
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We present an industrial project conducted at Ericsson Danmark A/S, Telebit where formal methods in the form of Coloured Petri Nets (CP-nets or CPNs) have been used for t...
ICARIS
2007
Springer
2007
Springer
Modeling Migration, Compartmentalization and Exit of Naive T Cells in Lymph Nodes Without Chemotaxis
14 years 1 months ago
The migration of lymphocytes through secondary lymphoid organs was believed to be mainly controlled by chemokine gradients. This theory has recently been called into question since...
IWNAS
2008
IEEE
14 years 1 months ago
2008
IEEE
The security of wireless sensor networks is ever more important nowadays. Most of the proposed security protocols in wireless sensor networks are based on authentication and encry...
GG
2008
Springer
13 years 8 months ago
2008
Springer
The model-driven development of model transformations requires both a technique to model model transformations as well as a means to transform transformation models. Therefore, t...