5352 search results - page 89 / 1071 » Modeling the socio-cultural context |
153
click to vote
ASAP
2003
IEEE
15 years 11 months ago
2003
IEEE
— In industry, embedded systems for stream-based processing are often modelled and verified by using process networks, such as Kahn process networks. An advantage of Kahn networ...
203
click to vote
DAIS
2001
15 years 7 months ago
2001
: We describe QoSDREAM, a middleware framework for the construction and management of context-aware multimedia applications. The contributions of QoSDREAM include (1) a novel appro...
176
click to vote
FORTE
2009
15 years 4 months ago
2009
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
141
click to vote
CONTEXT
2007
Springer
16 years 18 days ago
2007
Springer
We give a brief description of a system we are currently building that fulfils the promise of our title. This description also indicates why we are interested in the topic of cont...
138
click to vote
CONTEXT
2007
Springer
16 years 18 days ago
2007
Springer
Latent Semantic Analysis is used in many research fields with several applications of classifications. We propose to improve LSA with additional semantic information found with s...