3863 search results - page 518 / 773 » Function in Device Representation |
159
click to vote
DISOPT
2008
15 years 6 months ago
2008
A pseudolattice L is a poset with lattice-type binary operations. Assuming that the pseudolattice permits a modular representation as a family of subsets of a set U with certain c...
137
click to vote
ENTCS
2010
15 years 6 months ago
2010
Futures are special kind of values that allow the synchronisation of different processes. Futures are in fact identifiers for promised results of function calls that are still awa...
158
click to vote
APAL
2006
15 years 6 months ago
2006
The existence of a final coalgebra is equivalent to the existence of a formal logic with a set (small class) of formulas that has the Hennessy-Milner property of distinguishing co...
154
click to vote
ESWA
2006
15 years 6 months ago
2006
We discuss the challenges in developing decision support tools for commercial underwriting and describe how several different approaches to the underwriting problem have been addr...
122
click to vote
EXPERT
2006
15 years 6 months ago
2006
o address the need for canonical abstraction, we've adopted software engineering's concept of signatures--a technique for defining software patterns or invariant procedur...