15840 search results - page 316 / 3168 » The Control of Synchronous Systems |
115
click to vote
SIGCSE
2002
ACM
15 years 3 months ago
2002
ACM
In this paper, we describe PortOS, an educational operating system designed to complement undergraduate and graduate level classes on operating systems. PortOS is a complete user-...
126
click to vote
ICARCV
2008
IEEE
15 years 10 months ago
2008
IEEE
—We investigate the stability properties of discrete and hybrid stochastic nonlinear dynamical systems. More precisely, we extend the stochastic contraction theorems (which were ...
122
click to vote
ICALP
2000
Springer
15 years 7 months ago
2000
Springer
We introduce a generic type system (based on Milner's sort system) for the synchronous polyadic -calculus, allowing us to mechanise the analysis of input/output capabilities o...
130
click to vote
SRDS
1999
IEEE
15 years 8 months ago
1999
IEEE
Availability in Process Support Systems (PSS) can be achieved by using standby mechanisms that allow a backup server to take over in case a primary server fails. These mechanisms,...
158
click to vote
CSFW
2006
IEEE
15 years 10 months ago
2006
IEEE
We argue that games are expressive enough to encompass (history-based) access control, (resource) usage control (e.g., dynamic adaptive access control of reputation systems), acco...