678 search results - page 129 / 136 » Dependent Types for Program Understanding |
RTSS
1998
IEEE
13 years 12 months ago
1998
IEEE
Abstract: The QoS-based Resource Allocation Model (QRAM) proposed in [20] presented an analytical approach for satisfying multiple quality-of-service dimensions in a resource-const...
ISER
1993
Springer
13 years 11 months ago
1993
Springer
The interaction of an autonomous mobile robot with the real world critically depends on the robots morphology and on its environment. Building a model of these aspects is extremel...
ANCS
2007
ACM
13 years 11 months ago
2007
ACM
Session Initiation Protocol (SIP) has begun to be widely deployed for multiple services such as VoIP, Instant Messaging and Presence. Each of these services uses different SIP mes...
CCS
2006
ACM
13 years 11 months ago
2006
ACM
Attack graphs are important tools for analyzing security vulnerabilities in enterprise networks. Previous work on attack graphs has not provided an account of the scalability of t...
NIPS
2008
13 years 9 months ago
2008
Language and image understanding are two major goals of artificial intelligence which can both be conceptually formulated in terms of parsing the input signal into a hierarchical ...