8154 search results - page 327 / 1631 » Understanding changes in use cases: A case study |
144
click to vote
ISCC
2007
IEEE
2007
IEEE
An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation
16 years 29 days ago
Spi2Java is a tool that enables semi-automatic generation of cryptographic protocol implementations, starting from verified formal models. This paper shows how the last version o...
164
click to vote
EUSAI
2004
Springer
16 years 2 days ago
2004
Springer
Ambient intelligent applications require applications to recognise user activity calmly in the background, typically by instrumentation of environments. In contrast, we propose the...
112
click to vote
ICCSA
2005
Springer
16 years 6 days ago
2005
Springer
Multireference configuration interaction calculations have been performed on the excited state energy surfaces of the methyleneimmonium cation using recently developed methods for ...
295
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Given societies’ massive investment in information technology and the potentially catastrophic consequences of IT failures, it is becoming increasingly critical to understand ho...
159
click to vote
ISPW
2007
IEEE
16 years 29 days ago
2007
IEEE
There is large uncertainty with the software cost in the early stages of software development due to requirement volatility, incomplete understanding of product domain, reuse oppor...