4737 search results - page 829 / 948 » The LOGIC negotiation model |
257
click to vote
SACMAT
2009
ACM
16 years 1 months ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
201
click to vote
BROADNETS
2007
IEEE
16 years 1 months ago
2007
IEEE
— Network dimensioning for wavelength-routed WDM networks has been extensively studied to maximize connection acceptance rate while minimizing the total cost. However, Internet s...
204
click to vote
ATVA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
244
click to vote
SIGSOFT
2006
ACM
16 years 27 days ago
2006
ACM
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...
191
click to vote
ICMI
2004
Springer
16 years 9 days ago
2004
Springer
One of the implicit assumptions of multi-modal interfaces is that human-computer interaction is significantly facilitated by providing multiple input and output modalities. Surpri...