7530 search results - page 533 / 1506 » Design and Implementation of the YAWL System |
242
click to vote
POPL
2012
ACM
14 years 3 months ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
193
click to vote
FDL
2007
IEEE
16 years 1 months ago
2007
IEEE
Actor-oriented modeling approaches are convenient for implementing functional models of embedded systems. Architectural models for heterogeneous system-on-chip architectures, howe...
201
click to vote
SIGADA
2004
Springer
16 years 24 days ago
2004
Springer
System and software development has become an increasingly complex science. With so many emerging devices, processors, systems specification languages, software implementation lan...
212
click to vote
PLDI
2011
ACM
14 years 10 months ago
2011
ACM
Information flow is an important security property that must be incorporated from the ground up, including at hardware design time, to provide a formal basis for a system’s roo...
209
click to vote
COMSWARE
2007
IEEE
16 years 1 months ago
2007
IEEE
The Elliptic Curve Digital Signature Algorithm admits a natural parallelization wherein the point multiplication step can be split in two parts and executed in parallel. Further pa...