595 search results - page 25 / 119 » Lightweight Static Capabilities |
GRAPHICSINTERFACE
2003
13 years 9 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...
ICWS
2010
IEEE
13 years 5 months 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...
ESOP
2008
Springer
13 years 9 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...
ICLP
1999
Springer
13 years 12 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...
DAIS
2008
13 years 9 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...