495 search results - page 39 / 99 » Automata and differentiable words |
174
click to vote
SIAMSC
2011
15 years 22 days ago
2011
In this paper we describe a general framework for deriving modified equations for stochastic differential equations with respect to weak convergence. Modified equations are deri...
177
click to vote
VMCAI
2010
Springer
16 years 23 days ago
2010
Springer
This paper upgrades Regular Linear Temporal Logic (RLTL) with past operators and complementation. RLTL is a temporal logic that extends the expressive power of linear temporal logi...
129
click to vote
CAV
2003
Springer
15 years 11 months ago
2003
Springer
The paper considers the problem of checking abstraction between two finite-state fair discrete systems (FDS). In automata-theoretic terms this is trace inclusion between two nond...
150
click to vote
SCP
2010
15 years 4 months ago
2010
Several scienti c bottlenecks have been identi ed in existing component-based approaches. em, we focus on the identi cation of a relevant abstraction for the component expression ...
212
click to vote
SCP
2010
15 years 16 days ago
2010
We propose a domain-specific aspect language to prevent denial of service caused by resource management. Our aspects specify availability policies by enforcing time limits in the ...