689 search results - page 54 / 138 » The multithreaded version of FORM |
137
Voted
ICSOC
2005
Springer
15 years 11 months ago
2005
Springer
Web Services are entailing a major shift of perspective in software engineering: software is used and not owned, and operation happens on machines that are out of the user control....
237
click to vote
PPSWR
2005
Springer
15 years 10 months ago
2005
Springer
We present typing rules for the Web query language Xcerpt. The rules provide a descriptive type system: the typing of a program is an ation of its semantics. The rules can also be ...
144
Voted
RTA
2005
Springer
15 years 10 months ago
2005
Springer
We consider the relation of the dual calculus of Wadler (2003) to the λµ-calculus of Parigot (1992). We give translations from the λµ-calculus into the dual calculus and back a...
121
Voted
VLDB
2005
ACM
15 years 10 months ago
2005
ACM
In this paper, a message-oriented architecture for large database summarization is presented. The summarization system takes a database table as input and produces a reduced versi...
133
click to vote
WCC
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we discuss some methods of constructing frequency/time hopping (FH/TH) sequences over GF(pk ) by taking successive k-tuples of given sequences over GF(p). We are abl...