14190 search results - page 2778 / 2838 » Abstractions for hybrid systems |
187
click to vote
ER
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. The process industries (chemicals, food, oil, ...) are characterized by - continuous or batch -- processes of material transformation. The design of such processes, and t...
191
click to vote
TPHOL
1999
IEEE
15 years 10 months ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...
168
click to vote
ACSAC
1998
IEEE
15 years 10 months ago
1998
IEEE
Abstract Role-based access control RBAC has recently received a lot of attention due to its exibility, expressive power and simplicity in administration. In RBAC permissions are as...
165
click to vote
HIPC
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. In this work we put into evidence how the memory performance of a WebServer machine may depend on the sharing induced by process migration. We considered a shared-bus sha...
184
click to vote
ICVS
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. This paper concerns the exploration of a natural environment by a mobile robot equipped with both a video camera and a range sensor (stereo or laser range finder); we fo...