2529 search results - page 202 / 506 » The Logical Structure of Binding |
231
click to vote
PLPV
2012
ACM
14 years 2 months ago
2012
ACM
Functional Reactive Programming (FRP) is a form of reactive programming whose model is pure functions over signals. FRP is often expressed in terms of arrows with loops, which is ...
203
click to vote
MTDT
2003
IEEE
16 years 1 days ago
2003
IEEE
ct Defect-based testing for digital logic concentrates primarily on methods of test application, including for example at-speed structural tests and IDDQ testing. In contrast, defe...
209
click to vote
CLIMA
2004
15 years 8 months ago
2004
Abstract. We introduce a logical framework suitable to formalize structures of epistemic agents. Such a framework is based on the notion of weighted directed acyclic graphs (WDAGs)...
194
click to vote
DBPL
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Based on the recursion mechanism of the XML transformation language XSL, the document transformation language DTL is defined. First the instantiation DTLreg is considere...
175
click to vote
GIS
1999
ACM
15 years 11 months ago
1999
ACM
Nowadays, many applications need data modeling facilities for the description of complex objects with spatial and/or temporal facilities. Responses to such requirements may be fou...