3388 search results - page 58 / 678 » Type-theoretic design patterns |
154
click to vote
ACMIDC
2010
15 years 8 months ago
2010
COSPATIAL is a multi-disciplinary project that is using collaborative virtual reality and tabletop devices for training social competence within the theoretical framework of Cogni...
124
click to vote
CAISE
2006
Springer
15 years 8 months ago
2006
Springer
The role of ontologies in knowledge base systems is gradually increasing. Along with the growth of Internet based applications and ecommerce, the need for easy interoperability bet...
130
click to vote
INFSOF
2007
15 years 4 months ago
2007
Retrofitting security implementations to a released software-intensive system or to a system under development may require significant architectural or coding changes. These late...
143
click to vote
EDO
2000
Springer
15 years 8 months ago
2000
Springer
Developing a distributed application is hard due to the complexity inherent to distributed communication. Moreover, distributed object communication technology is always changing,...
113
click to vote
HASKELL
2005
ACM
15 years 10 months ago
2005
ACM
A type-indexed function is a function that is defined for each member of some family of types. Haskell’s type class mechanism provides collections of open type-indexed function...