1432 search results - page 119 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
145
Voted
BALT
2008
15 years 5 months ago
2008
Biomedical research on human subjects often requires a large amount of data to be collected by personal interviews, Internet based questionnaires, lab measurements or by extracting...
141
Voted
CBSE
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. The SOAP Service Description Language (SSDL) is a SOAPcentric language for describing Web Service contracts. SSDL focuses on abstraction as the building block for creatin...
154
Voted
RE
1999
Springer
15 years 7 months ago
1999
Springer
This paper describes a feasibility study into the use of a formal requirements modeling method (SCR) to assist with Independent Verification and Validation of change requests for ...
145
Voted
HPCA
2011
IEEE
14 years 7 months ago
2011
IEEE
Most shared memory systems maximize performance by unpredictably resolving memory races. Unpredictable memory races can lead to nondeterminism in parallel programs, which can suff...
125
Voted
EUROCRYPT
2007
Springer
15 years 9 months ago
2007
Springer
Protocols proven secure within the universal composability (UC) framework satisfy strong and desirable security properties. Unfortunately, it is known that within the “plain” m...