1880 search results - page 261 / 376 » A Static Analysis for Beta-Binders |
140
click to vote
RTSS
2008
IEEE
16 years 19 days ago
2008
IEEE
We consider the problem of optimal static period assignment for multiple independent control tasks executing on the same CPU. Previous works have assumed that the control performa...
169
click to vote
SECURWARE
2008
IEEE
16 years 19 days ago
2008
IEEE
The Session Initiation Protocol (SIP) is increasingly used as a signaling protocol for administrating Voice over IP (VoIP) phone calls. SIP can be configured in several ways so t...
143
click to vote
CSFW
2007
IEEE
16 years 18 days ago
2007
IEEE
We address the programmatic realization of the access control model of security in distributed systems. Our aim is e the gap between abstract/declarative policies and their concre...
155
click to vote
HICSS
2007
IEEE
16 years 18 days ago
2007
IEEE
A knowledge gap exists between what emergency responders know from their direct experience and what emergency planners know from analysis and reflection. The theory of practical d...
158
click to vote
SEFM
2007
IEEE
16 years 16 days ago
2007
IEEE
We give a formal account of a calculus for modeling service-based systems, suitable to describe both service composition (orchestration) and the protocol that services run when in...