1712 search results - page 63 / 343 » Abstract Constraint Data Types |
ENTCS
2006
14 years 11 months ago
2006
We introduce variant types and a pattern matching operation to synchronous dataflow languages. These languages are used in the design of reactive systems. As these systems grow in...
117
click to vote
VMCAI
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
155
click to vote
SIGMOD
2006
ACM
15 years 11 months ago
2006
ACM
Wireless sensor networks have created new opportunities for data collection in a variety of scenarios, such as environmental and industrial, where we expect data to be temporally ...
ESORICS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Many protocols rely on audit trails to allow an impartial judge to verify a posteriori some property of a protocol run. However, in current practice the choice of what da...
104
click to vote
SCIENTOMETRICS
2011
14 years 1 months ago
2011
Abstract We studied the effect on journal impact factors (JIF) of citations from documents labeled as articles and reviews (usually peer reviewed) versus citations coming from othe...