1445 search results - page 84 / 289 » Properties of state spaces and their applications |
163
click to vote
EHCI
2001
15 years 7 months ago
2001
We present a way of analyzing sensed context information formulated to help in the generation, documentation and assessment of the designs of context-aware applications. Starting w...
184
click to vote
BIRTHDAY
2007
Springer
15 years 10 months ago
2007
Springer
We present a verification methodology for cooperating traffic agents covering analysis of cooperation strategies, realization of strategies through control, and implementation of c...
167
click to vote
IJAR
2010
15 years 4 months ago
2010
The present article considers estimating a parameter θ in an imprecise probability model (Pθ)θ∈Θ which consists of coherent upper previsions Pθ . After the definition of a...
172
click to vote
CAISE
2009
Springer
16 years 27 days ago
2009
Springer
In this paper, we present a heuristic approach for finding errors and possible improvements in business process models. First, we translate the information that is included in a m...
167
click to vote
IPPS
2006
IEEE
16 years 10 days ago
2006
IEEE
We show that timed automata can be used to model and to analyze timeliness properties of embedded system architectures. Using a case study inspired by industrial practice, we pres...