1802 search results - page 361 / 361 » Using Declarative Specifications in Business Process Design |
130
Voted
IANDC
2008
15 years 24 days ago
2008
We are interested in the design of automated procedures for analyzing the (in)security of cryptographic protocols in the Dolev-Yao model for a bounded number of sessions when we t...
110
click to vote
BMCBI
2005
2005
MicroGen: a MIAME compliant web system for microarray experiment information and workflow management
15 years 19 days ago
Background: Improvements of bio-nano-technologies and biomolecular techniques have led to increasing production of high-throughput experimental data. Spotted cDNA microarray is on...