2870 search results - page 268 / 574 » Synchronization of multi-agent systems |
115
click to vote
SIGCSE
2002
ACM
15 years 4 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-...
127
click to vote
ICARCV
2008
IEEE
15 years 11 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 8 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...
131
Voted
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,...
146
click to vote
ICESS
2004
Springer
15 years 9 months ago
2004
Springer
An integrated solution to guarantee real-time requirements in embedded real-time monitor and control systems is presented in this paper. First l task model is abstracted from such ...