4434 search results - page 398 / 887 » On the Composition of Hybrid Systems |
165
click to vote
AUTOMATICA
2008
15 years 7 months ago
2008
In this paper we will extend the input-to-state stability (ISS) framework to continuous-time discontinuous dynamical systems (DDS) adopting piecewise smooth ISS Lyapunov functions...
248
click to vote
SIGMOD
2005
ACM
16 years 7 months ago
2005
ACM
The description, composition, and execution of even logically simple scientific workflows are often complicated by the need to deal with "messy" issues like heterogeneou...
208
click to vote
TCC
2010
Springer
16 years 3 months ago
2010
Springer
We construct a fully secure HIBE scheme with short ciphertexts. The previous construction of Boneh, Boyen, and Goh was only proven to be secure in the selective model, under a non...
166
click to vote
AOSD
2010
ACM
16 years 4 days ago
2010
ACM
The integration of third-party aspects into applications creates security challenges. Due to the intrusive impact of aspects, one cannot guarantee that the dynamic composition of ...
189
click to vote
DATE
2003
IEEE
16 years 3 days ago
2003
IEEE
Reflection and automated introspection of a design in system level design frameworks are seen as necessities for the CAD tools to manipulate the designs within the tools. These f...