631 search results - page 50 / 127 » Deriving Specifications from Requirements: An Example |
PKC
2009
Springer
14 years 9 months ago
2009
Springer
Sanitizable signature schemes, as defined by Ateniese et al. (ESORICS 2005), allow a signer to partly delegate signing rights to another party, called the sanitizer. That is, the s...
MLMI
2004
Springer
14 years 1 months ago
2004
Springer
As the amount of multimodal meetings data being recorded increases, so does the need for sophisticated mechanisms for accessing this data. This process is complicated by the diffe...
COMPLIFE
2006
Springer
14 years 7 days ago
2006
Springer
A powerful new software concept to physiologically based pharmacokinetic (PBPK) modelling of drug disposition is presented. It links the inherent modular understanding in pharmacol...
ASPDAC
1995
ACM
14 years 2 days ago
1995
ACM
- We address the problem of transforming a behavioral specification so that synthesis of a testable implementation from the new specification requires significantly less area and ...
NIPS
1992
13 years 9 months ago
1992
This paper describes a technique for learning both the number of states and the topologyof Hidden Markov Models from examples. The inductionprocess starts with the most specific m...