Sciweavers

2625 search results - page 277 / 525
» Applications 2000
Sort
View
ANTS
2000
Springer
96views Algorithms» more  ANTS 2000»
15 years 11 months ago
Coverings of Curves of Genus 2
We shall discuss the idea of finding all rational points on a curve C by first finding an associated collection of curves whose rational points cover those of C. This classical ...
E. Victor Flynn
AOSE
2000
Springer
15 years 11 months ago
Designing Agent-Oriented Systems by Analysing Agent Interactions
We propose a preliminary methodology for agent-oriented software engineering based on the idea of agent interaction analysis. This approach uses interactions between undetermined a...
Simon Miles, Mike Joy, Michael Luck
ASIACRYPT
2000
Springer
15 years 11 months ago
Key Improvements to XTR
Abstract. This paper describes improved methods for XTR key representation and parameter generation (cf. [4]). If the field characteristic is properly chosen, the size of the XTR ...
Arjen K. Lenstra, Eric R. Verheul
CAISE
2000
Springer
15 years 11 months ago
Efficient Distributed Workflow Management Based on Variable Server Assignments
For enterprise-wide and cross-enterprise workflow (WF) applications, the load of the WF servers and the amount of communication in the subnets may become a bottleneck. This paper s...
Thomas Bauer, Peter Dadam
CAISE
2000
Springer
15 years 11 months ago
Temporally Faithful Execution of Business Transactions
Serializability is a prominent correctness criterion for an interleaved execution of concurrent transactions. Serializability guarantees that the interleaved execution of concurre...
Werner Obermair, Michael Schrefl