Sciweavers

4008 search results - page 456 / 802
» An expressive language of signatures
Sort
View
IFIP
2009
Springer
15 years 11 months ago
Supporting Cross-Organizational Process Control
E-contracts express the rights and obligations of parties through a formal, digital representation of the contract provisions. In process intensive relationships, e-contracts conta...
Samuil Angelov, Jochem Vonk, Krishnamurthy Vidyasa...
CCS
2001
ACM
15 years 11 months ago
Formalizing GDOI group key management requirements in NPATRL
Although there is a substantial amount of work on formal requirements for two and three-party key distribution protocols, very little has been done on requirements for group proto...
Catherine Meadows, Paul F. Syverson
NLPRS
2001
Springer
15 years 11 months ago
Automatic Corpus-Based Extraction of Chinese Legal Terms
This paper reports on a study involving the automatic extraction of Chinese legal terms. We used a word segmented corpus of Chinese court judgments to extract salient legal expres...
Oi Yee Kwong, Benjamin K. Tsou
VLDB
2001
ACM
123views Database» more  VLDB 2001»
15 years 11 months ago
User-Optimizer Communication using Abstract Plans in Sybase ASE
imizer Communication using Abstract Plans in Sybase ASE Query optimizers are error prone, due to both their nature and the increased search space that modern query processing requ...
Mihnea Andrei, Patrick Valduriez
IPPS
2000
IEEE
15 years 11 months ago
Pipelining Wavefront Computations: Experiences and Performance
Abstract. Wavefront computations are common in scientific applications. Although it is well understood how wavefronts are pipelined for parallel execution, the question remains: H...
E. Christopher Lewis, Lawrence Snyder