Sciweavers

2232 search results - page 241 / 447
» Formal Modeling and Analysis of Organizations
Sort
View
ECIS
2003
15 years 8 months ago
E-learning and SMEs: do demand and supply speak the same language?
This paper reports on research-in-progress designed to understand adoption and diffusion of e-learning (EL) among small and medium-sized enterprises (SMEs) in northern Italy. The ...
Paola Bielli, Jane E. Klobas
CCS
2009
ACM
16 years 7 months ago
Expressive policy analysis with enhanced system dynamicity
Despite several research studies, the effective analysis of policy based systems remains a significant challenge. Policy analysis should at least (i) be expressive (ii) take accou...
Robert Craven, Jorge Lobo, Jiefei Ma, Alessandra R...
ATVA
2007
Springer
136views Hardware» more  ATVA 2007»
16 years 22 days ago
Symbolic Fault Tree Analysis for Reactive Systems
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
Marco Bozzano, Alessandro Cimatti, Francesco Tappa...
DATE
2003
IEEE
116views Hardware» more  DATE 2003»
15 years 11 months ago
Statistical Timing Analysis Using Bounds
The growing impact of within-die process variation has created the need for statistical timing analysis, where gate delays are modeled as random variables. Statistical timing anal...
Aseem Agarwal, David Blaauw, Vladimir Zolotov, Sar...
GIS
2009
ACM
15 years 11 months ago
A multidimensional model representing continuous fields in spatial data warehouses
Data warehouses and On-Line Analytical Processing (OLAP) provide an analysis framework supporting the decision making process. In many application domains, complex analysis tasks ...
Alejandro A. Vaisman, Esteban Zimányi