5683 search results - page 418 / 1137 » Interactive Schedulability Analysis |
333
click to vote
CADE
2007
Springer
16 years 8 months ago
2007
Springer
We show how theorem proving and methods for handling real algebraic constraints can be combined for hybrid system verification. In particular, we highlight the interaction of deduc...
163
click to vote
PAM
2009
Springer
16 years 2 months ago
2009
Springer
This paper presents the Clarified system for passive network . It is based on capturing complete packet history and abstracting it in form of different interactive high-level visua...
189
click to vote
ICARCV
2008
IEEE
16 years 2 months ago
2008
IEEE
—We investigate the stability properties of discrete and hybrid stochastic nonlinear dynamical systems. More precisely, we extend the stochastic contraction theorems (which were ...
215
click to vote
SASO
2007
IEEE
16 years 1 months ago
2007
IEEE
Adaptive security is based on the observation that the security requirements of a system or service heavily depend on the environment in which they operate and should therefore be...
192
click to vote
ITCC
2005
IEEE
16 years 1 months ago
2005
IEEE
Notification is especially important in the Service Oriented Architecture (SOA) model engendered by Web Services. where Web Services interact with each other through the exchange ...