7529 search results - page 105 / 1506 » The Modula-3 Type System |
140
click to vote
ACL
2010
15 years 2 months ago
2010
In predicate-argument structure analysis, it is important to capture non-local dependencies among arguments and interdependencies between the sense of a predicate and the semantic...
123
click to vote
EUROMED
2010
15 years 2 months ago
2010
Abstract. Museums research new ways to offer positive experience to the visitors and encourage them to return, using modern communication and learning tools. To the effect, technol...
127
click to vote
ICFP
2010
ACM
15 years 5 months ago
2010
ACM
Type classes have found a wide variety of uses in Haskell programs, from simple overloading of operators (such as equality or ordering) to complex invariants used to implement typ...
142
click to vote
JACM
2002
15 years 4 months ago
2002
Abstract. Shared registers are basic objects used as communication mediums in asynchronous concurrent computation. A concurrent timestamp system is a higher typed communication obj...
197
click to vote
AINA
2010
IEEE
14 years 8 months ago
2010
IEEE
— Intrusion detection System forms a vital component of internet security. To keep pace with the growing trends, there is a critical need to replace single layer detection techno...