202 search results - page 16 / 41 » Managing Controlled Violation of Temporal Process Constraint... |
EMSOFT
2010
Springer
14 years 8 months ago
2010
Springer
Variable-bandwidth servers (VBS) control process execution speed by allocating variable CPU bandwidth to processes. VBS enables temporal isolation of EDF-scheduled processes in th...
COLCOM
2009
IEEE
15 years 3 months ago
2009
IEEE
The need for collaboration and information sharing has been recently growing dramatically with the convergence of outsourcing and offshoring, the increasing need to cut costs thro...
105
click to vote
ENDM
2010
14 years 10 months ago
2010
A Content Distribution Network (CDN) is an overlay network where servers replicate contents and distribute client's requests with the aim at reducing delay, server load and n...
114
click to vote
ICST
2010
IEEE
14 years 9 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
104
click to vote
SAC
2009
ACM
15 years 5 months ago
2009
ACM
A wide range of web service choreography constraints on the content and sequentiality of messages can be translated into Linear Temporal Logic (LTL). Although they can be statical...