1288 search results - page 87 / 258 » On Analysis of Design Component Contracts: A Case Study |
ENTCS
2007
14 years 11 months ago
2007
Safety is an important requirement for many modern systems. To ensure safety of complex critical systems, well-known safety analysis methods have been formalized. This holds in pa...
ICA
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. The recovery of the mixture of an N-dimensional signal generated by N independent processes is a well studied problem (see e.g. [1,10]) and robust algorithms that solve t...
HICSS
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper presents research on the application of the means-end chain (MEC) framework for investigating customers cognitive structure regarding community applications. It is argu...
APCHI
2004
IEEE
15 years 3 months ago
2004
IEEE
One component of a user's interaction with computer systems is commonly referred to as `flow'. Flow is an important consideration in interactive system design as it enca...
EDOC
2006
IEEE
15 years 6 months ago
2006
IEEE
— An enterprise architecture is intended to be a comprehensive blueprint describing the key components and relationships for an enterprise from strategies to business processes t...