7099 search results - page 221 / 1420 » Context for models of concurrency |
184
click to vote
FSTTCS
2004
Springer
16 years 18 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...
179
click to vote
ASAP
2003
IEEE
16 years 15 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...
224
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...
207
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...
156
click to vote
CONTEXT
2007
Springer
16 years 1 months 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...