4353 search results - page 33 / 871 » Expressiveness of Process Algebras |
79
Voted
ICIP
2002
IEEE
15 years 11 months ago
2002
IEEE
ICUMT
2009
14 years 7 months ago
2009
Web services are ubiquitous technologies which are used for integrating business processes and services. As is the case in many other applications, the information processed in we...
80
Voted
ICDT
1995
ACM
15 years 1 months ago
1995
ACM
We investigate and compare two forms of recursion on sets for querying nested collections. The rst one is called sri and it corresponds to sequential processing of data. The second...
79
Voted
ISSAC
1992
Springer
15 years 1 months ago
1992
Springer
Real algebraic numbers appear in many Computer Algebra pro bJems. For inst ante the determination of a cylindrical algebraic decomposition for an euclidian space requires compu ti...
AISC
1998
Springer
15 years 1 months ago
1998
Springer
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...