13489 search results - page 269 / 2698 » Operating System |
174
click to vote
TCS
2008
15 years 6 months ago
2008
We develop a notion of spatial-behavioral typing suitable to discipline concurrent interactions and resource usage in distributed object systems. Our type structure reflects a res...
183
click to vote
TRUSTBUS
2009
Springer
16 years 1 months ago
2009
Springer
SCADA systems represent a challenging scenario where the management of critical alarms is crucial. Their response to these alarms should be efficient and fast in order to mitigate ...
220
click to vote
SIGGRAPH
1992
ACM
15 years 10 months ago
1992
ACM
This paper discusses a new, symbolic approach to geometric modeling called generative modeling. The approach allows specification, rendering, and analysis of a wide variety of sha...
164
click to vote
SCL
2010
15 years 5 months ago
2010
We show that control systems with an analytic semigroup and control and observation operators that are not too unbounded have a Hankel operator that belongs to the Schatten class ...