689 search results - page 54 / 138 » The multithreaded version of FORM |
ICSOC
2005
Springer
14 years 1 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....
PPSWR
2005
Springer
14 years 1 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 ...
RTA
2005
Springer
14 years 1 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...
VLDB
2005
ACM
14 years 1 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...
WCC
2005
Springer
14 years 1 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...