2703 search results - page 322 / 541 » Learning operational requirements from goal models |
245
Voted
COOPIS
2002
IEEE
15 years 11 months ago
2002
IEEE
Rapid advances in networking, hardware, and middleware technologies are facilitating the development and deployment of complex grid applications, such as large-scale distributed co...
197
click to vote
SAFECOMP
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
202
click to vote
ICISC
2009
15 years 4 months ago
2009
Minimizing complexity of group key exchange (GKE) protocols is an important milestone towards their practical deployment. An interesting approach to achieve this goal is to simplif...
204
Voted
ISF
2007
15 years 6 months ago
2007
This paper presents a conceptual framework for service modelling and refinement, called the COSMO (COnceptual Service MOdelling) framework. This framework provides concepts to mode...
158
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
We describe a transition fault model, which is easy to simulate under test sequences that are applied at-speed, and provides a target for the generation of at-speed test sequences...