10575 search results - page 1843 / 2115 » T2Script Programming Language |
158
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
For `mixed-criticality' systems that have both critical and non-critical functions, the greatest leverage on dependability may be at the design level. By designing so that ea...
126
click to vote
HPDC
2009
IEEE
15 years 1 months ago
2009
IEEE
In sporting event transmissions of international significance, broadcasting in each country is carried out by the owner of the rights for that particular country. The output signa...
161
click to vote
FASE
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. Container classes such as lists, sets, or maps are elementary data structures common to many programming languages. Since they are a part of standard libraries, they are ...
153
click to vote
IGPL
2011
14 years 7 months ago
2011
We extend the lattice embedding of the axiomatic extensions of the positive fragment of intuitionistic logic into the axiomatic extensions of intuitionistic logic to the setting of...
165
click to vote
IGPL
2011
14 years 7 months ago
2011
A residuated algebra (RA) is a generalization of a residuated groupoid; instead of one basic binary operation · with residual operations \, /, it admits finitely many basic oper...