424 search results - page 75 / 85 » A Lambda Calculus with Forms |
IPMI
2009
Springer
16 years 16 days ago
2009
Springer
Abstract. The exterior surface of the brain is characterized by a juxtaposition of crests and troughs that together form a folding pattern. The majority of the deformations that oc...
ICSE
2008
IEEE-ACM
15 years 11 months ago
2008
IEEE-ACM
Central to the problem frames approach is the distinction of three different descriptions: requirements R, domain assumptions W and specifications S, tied together with the socall...
ICFP
2008
ACM
15 years 11 months ago
2008
ACM
Language-based security relies on the assumption that all potential attacks are bound by the rules of the language in question. When programs are compiled into a different languag...
123
click to vote
VMCAI
2010
Springer
15 years 6 months ago
2010
Springer
This paper upgrades Regular Linear Temporal Logic (RLTL) with past operators and complementation. RLTL is a temporal logic that extends the expressive power of linear temporal logi...
124
click to vote
EMSOFT
2009
Springer
15 years 6 months ago
2009
Springer
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...