5352 search results - page 34 / 1071 » Modeling the socio-cultural context |
SPIN
2010
Springer
13 years 8 months ago
2010
Springer
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...
OTM
2007
Springer
14 years 4 months ago
2007
Springer
The entities participating in a context-aware service platform need to establish and manage trust relationships in order to assert different trust aspects including identity provis...
GG
2008
Springer
13 years 11 months ago
2008
Springer
Behavior preservation, namely the fact that the behavior of a model is not altered by the transformations, is a crucial property in refactoring. The most common approaches to behav...
IWC
2007
13 years 9 months ago
2007
This paper describes an experiment which aims to examine the effectiveness and efficiency of a Virtual Reality Modelling Language (VRML) building model compared with equivalent ar...
ICIP
2003
IEEE
14 years 11 months ago
2003
IEEE
Highly scalable video compression based on invertible motion adaptive lifting transforms has emerged as a promising area in image processing research and an important component in...