2695 search results - page 492 / 539 » A Visual Approach to Validating System Level Designs |
MODELS
2007
Springer
14 years 1 months ago
2007
Springer
The rising adoption and incorporation of computers into everyday life requires human-computer interaction methods to be efficient and easy to understand. Simultaneously, complexit...
FASE
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
ICDCS
2003
IEEE
14 years 1 months ago
2003
IEEE
We present the design of a distributed store that offers various levels of security guarantees while tolerating a limited number of nodes that are compromised by an adversary. The...
HICSS
2002
IEEE
14 years 21 days ago
2002
IEEE
The main objective of the study is to comprehend the dynamics of interactions between partners (caregivers, promoters, consultants, patients and managers) involved in the implemen...
DW
2008
13 years 9 months ago
2008
: In today's companies, particularly multi-national enterprises acting on a global scale, historically grown systems and application landscapes, as well as processes, lead to ...