2813 search results - page 417 / 563 » Formalizing Architectural Connection |
242
click to vote
POPL
2003
ACM
16 years 4 months ago
2003
ACM
We introduce a new framework of algebraic pure type systems in which we consider rewrite rules as lambda terms with patterns and rewrite rule application as abstraction applicatio...
123
click to vote
ICFP
2008
ACM
16 years 3 months ago
2008
ACM
In efforts to overcome the complexity of the syntax and the lack of formal semantics of conventional hardware description languages, a number of functional hardware description la...
130
Voted
ALT
2004
Springer
16 years 20 days ago
2004
Springer
Different formal learning models address different aspects of learning. Below we compare learning via queries—interpreting learning as a one-shot process in which the learner i...
123
click to vote
QI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. It is argued that the vector space measures used to measure closeness of market prices to predictors for market prices are invalid because of the observed metric of commo...
150
click to vote
RTAS
2008
IEEE
15 years 10 months ago
2008
IEEE
Message Sequence Charts (MSCs) are widely used for describing interaction scenarios between the components of a distributed system. Consequently, worst-case response time estimati...