504 search results - page 48 / 101 » Complexity Properties of Restricted Abstract Argument System... |
GI
2009
Springer
15 years 2 months ago
2009
Springer
Abstract: Free theorems establish interesting properties of parametrically polymorphic functions, solely from their types, and serve as a nice proof tool. For pure and lazy functio...
FORMATS
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
114
click to vote
ENTCS
2002
14 years 9 months ago
2002
A program analysis is compositional when the analysis result for a particular program fragment is obtained solely from the results for its immediate subfragments via some composit...
SELMAS
2004
Springer
15 years 3 months ago
2004
Springer
The development of Multi-Agent Systems (MASs) involves special concerns, such as interaction, adaptation, autonomy, among others. Many of these concerns are overlapping, crosscut e...
IWANN
2005
Springer
15 years 3 months ago
2005
Springer
Carbon nanotubes are often seen as the only alternative technology to silicon transistors. While they are the most likely short-term alternative, other longer-term alternatives sho...