Sciweavers

3218 search results - page 165 / 644
» Timed Extensions for SDL
Sort
View
BPM
2008
Springer
158views Business» more  BPM 2008»
15 years 7 months ago
Towards Transformations from BPMN to Heterogeneous Systems
Abstract. By now, the mapping from BPMN to BPEL has been implemented in numerous tools, greatly assisting the business architect in the creation of BPEL processes. However, most of...
Tobias Küster, Axel Heßler
136
Voted
CISC
2005
Springer
107views Cryptology» more  CISC 2005»
15 years 6 months ago
A Remark on Implementing the Weil Pairing
We propose an improved implementation of modified Weil pairings. By reduction of operations in the extension field to those in the base field, we can save some operations in the...
Cheol-Min Park, Myung-Hwan Kim, Moti Yung
135
Voted
CMSB
2008
Springer
15 years 6 months ago
A Language for Biochemical Systems
Abstract. CBS is a Calculus of Biochemical Systems intended to allow the modelling of metabolic, signalling and regulatory networks in a natural and modular manner. In this paper w...
Michael Pedersen, Gordon D. Plotkin
ALENEX
2004
116views Algorithms» more  ALENEX 2004»
15 years 6 months ago
A Computational Framework for Handling Motion
We present a framework for implementing geometric algorithms involving motion. It is written in C++ and modeled after and makes extensive use of CGAL (Computational Geometry Algor...
Leonidas J. Guibas, Menelaos I. Karavelas, Daniel ...
AVI
2006
15 years 6 months ago
Contrasting portraits of email practices: visual approaches to reflection and analysis
Over time, many people accumulate extensive email repositories that contain detailed information about their personal communication patterns and relationships. We present three vi...
Adam Perer, Marc A. Smith