1906 search results - page 26 / 382 » Dependable Self-Hosting Distributed Systems Using Constraint... |
COORDINATION
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. Reo is a channel-based coordination model whose operational semantics is given by Constraint Automata (CA). Quantitative Constraint Automata extend CA (and hence, Reo) wi...
RTAS
1999
IEEE
14 years 24 days ago
1999
IEEE
In this paper we propose a dynamic constraint transformation technique for ensuring timing requirements in a distributed real-time system possessing periodically synchronized dist...
SAS
2007
Springer
14 years 2 months ago
2007
Springer
Type constraints express subtype-relationships between the types of program expressions that are required for type-correctness, and were originally proposed as a convenient framewo...
ICTAI
2005
IEEE
14 years 2 months ago
2005
IEEE
Lotos is the ISO formal specification language for describing and verifying concurrent and distributed systems. The simulation or execution of complex Lotos specifications is, h...
QUESTA
2011
12 years 11 months ago
2011
Motivated by service levels in terms of the waiting-time distribution seen in e.g. call centers, we consider two models for systems with a service discipline that depends on the w...