3107 search results - page 348 / 622 » Error-Correcting Source Code |
209
click to vote
WCFLP
2005
ACM
15 years 9 months ago
2005
ACM
In this paper we present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the implementation ...
122
click to vote
ICALP
2005
Springer
15 years 9 months ago
2005
Springer
Trevisan has shown that constructions of pseudo-random generators from hard functions (the Nisan-Wigderson approach) also produce extractors. We show that constructions of pseudo-r...
119
click to vote
ICESS
2005
Springer
15 years 9 months ago
2005
Springer
Complexity of software systems has significantly grown with social dependence on computer system, especially for mobile and internet. So we present component-based communication pr...
112
click to vote
WAIM
2005
Springer
15 years 9 months ago
2005
Springer
Unlike Internet portals, a typical Web Information System contains lots of user operations. However, existing Web design frameworks focus exclusively on data presentation: the proc...
153
click to vote
CC
2003
Springer
15 years 9 months ago
2003
Springer
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...