18769 search results - page 279 / 3754 » Requirements Models in Context |
186
click to vote
FSTTCS
2004
Springer
16 years 21 days ago
2004
Springer
We consider the problem of symbolic reachability analysis of higher-order context-free processes. These models are generalizations of the context-free processes (also called BPA pr...
183
click to vote
ASAP
2003
IEEE
16 years 19 days 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...
227
click to vote
DAIS
2001
15 years 8 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...
210
click to vote
FORTE
2009
15 years 5 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...
219
click to vote
CEEMAS
2003
Springer
16 years 16 days ago
2003
Springer
Modeling learning agents in the context of Multi-agent Systems requires an adequate understanding of their dynamic behaviour. Usually, these agents are modeled similar to the di...