1398 search results - page 94 / 280 » Ensuring Properties of Interaction Systems |
116
click to vote
TSMC
2008
15 years 4 months ago
2008
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...
122
click to vote
ICRA
1995
IEEE
15 years 8 months ago
1995
IEEE
In this paper we consider the structural properties of the dynamics of robotic manipulation systems of a rather general class, including multiple cooperating, possibly whole-arm l...
137
click to vote
TCS
2008
15 years 4 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...
125
click to vote
SIAMMA
2010
14 years 11 months ago
2010
This paper is concerned with a system that couples the incompressible Navier-Stokes equations to the Vlasov-Fokker-Planck equation. Such a system arises in the modeling of sprays,...
140
click to vote
CHI
2010
ACM
15 years 11 months ago
2010
ACM
Application programming interfaces (APIs) are the interfaces to existing code structures, such as widgets, frameworks, or toolkits. Therefore, they very much do have an impact on ...