4434 search results - page 126 / 887 » On the Composition of Hybrid Systems |
139
click to vote
HYBRID
2007
Springer
16 years 16 days ago
2007
Springer
The standard approach in feedback control systems is to sample and control periodically. For some applications, such as networked control systems or severely energy-constrained sys...
163
click to vote
COMPSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framewo...
148
click to vote
ICMCS
1997
IEEE
15 years 10 months ago
1997
IEEE
– Video is a powerful medium for disseminating news as information. Like any other information, techniques are required to help search and locate interesting video content. In th...
165
click to vote
OTM
2007
Springer
16 years 15 days ago
2007
Springer
The information that is made available through the semantic web will be accessed through complex programs (web-services, sensors, etc.) that may interact in sophisticated ways. Com...
163
click to vote
ASWEC
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents a security characterisation process framework for software components and their compositions in order to address the issue of trust in component based software...