19003 search results - page 4 / 3801 » We Need Assurance |
BIS
2006
13 years 7 months ago
2006
This paper discusses the applicability of a process algebra, the -calculus, as a formal foundation for Business Process Management (BPM). We therefore investigate the -calculus fro...
ASIACRYPT
1999
Springer
13 years 10 months ago
1999
Springer
Abstract. A prohibitive barrier faced by elliptic curve users is the difficulty of computing the curves’ cardinalities. Despite recent theoretical breakthroughs, point counting ...
WICSA
2001
13 years 7 months ago
2001
The definition and understanding of software architectures and architecture views still shows considerable disagreement in the software engineering community. This paper argues th...
LREC
2010
13 years 7 months ago
2010
We investigate the impact of input data scale in corpus-based learning using a study style of Zipf's law. In our research, Chinese word segmentation is chosen as the study ca...
DAC
1998
ACM
14 years 7 months ago
1998
ACM
Commercial tools for standard-cell based datapath design are here classed according to design flows, and the advantages of each class are discussed with the results of two test ci...