595 search results - page 25 / 119 » Lightweight Static Capabilities |
125
Voted
GRAPHICSINTERFACE
2003
15 years 4 months ago
2003
Digital Decor is furniture, appliances, and other small objects commonly found in homes and offices that have been augmented with computational power to extend usefulness. As suc...
107
Voted
ICWS
2010
IEEE
15 years 15 days ago
2010
IEEE
WS-Policy is a standard to express requirements and capabilities in Web service systems. Policies are based on domain-specific assertions. In this paper we present a lightweight ap...
117
Voted
ESOP
2008
Springer
15 years 4 months ago
2008
Springer
We present a static analysis for inferring the maximum amount of buffer space used by a program consisting of concurrently running processes communicating via buffered channels. We...
115
Voted
ICLP
1999
Springer
15 years 6 months ago
1999
Springer
In this work, we develop a binding-time analysis for the logic programming language Mercury. We introduce a precise domain of binding-times, based on the type information available...
140
Voted
DAIS
2008
15 years 4 months ago
2008
Distributed real-time and embedded (DRE) systems often require support for multiple simultaneous quality of service (QoS) properties, such as real-timeliness and fault tolerance, t...