8644 search results - page 171 / 1729 » On the Composition of Secure Systems |
181
click to vote
CRV
2005
IEEE
16 years 6 days ago
2005
IEEE
Docking craft in space and guiding mining machines are areas that often use remote video cameras equipped with one or more controllable light sources. In these applications, the p...
161
click to vote
IFM
2000
Springer
15 years 10 months ago
2000
Springer
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...
172
click to vote
ENTCS
2006
15 years 6 months ago
2006
We present an operational semantics for a component composition language called Reo. Reo connectors exogenously compose and coordinate the interactions among individual components...
199
click to vote
PERCOM
2008
ACM
15 years 6 months ago
2008
ACM
The pervasive computing environment will be composed of heterogeneous services. In this work, we have explored how a domain specific language for service composition can be implem...
167
click to vote
MTA
2000
15 years 6 months ago
2000
In this paper we present our research and development experience in the context of Interactive Multimedia Documents (IMDs). We define a rich model for such documents covering the ...