Sciweavers

1606 search results - page 128 / 322
» Methodological Approach for Developing a KMS: A Case Study
Sort
View
CAISE
1997
Springer
15 years 8 months ago
OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods
OO-Method is an OO Methodology that blends the use of formal specification systems with conventional OO methodologies based on practice. In contrast to other approaches in this fi...
Oscar Pastor, Emilio Insfrán, Vicente Pelec...
ECBS
2008
IEEE
115views Hardware» more  ECBS 2008»
15 years 11 months ago
Optimizing Design for Variability Using Traceability Links
Software systems have to provide flexibility by implementing variability. Existing design methodologies do not support means for optimizing the design for variability and for mea...
Matthias Riebisch, Robert Brcina
ASPDAC
2004
ACM
78views Hardware» more  ASPDAC 2004»
15 years 10 months ago
On compliance test of on-chip bus for SOC
- In this paper, we employ a monitor-based approach for on-chip bus (OCB) compliance test. To describe the OCB protocols,we proposea FSM model, which can help to extract the necess...
Hue-Min Lin, Chia-Chih Yen, Che-Hua Shih, Jing-Yan...
HICSS
2006
IEEE
86views Biometrics» more  HICSS 2006»
15 years 10 months ago
How Voluntary Online Learning Communities Emerge in Blended Courses
A comparative case study used content analysis to observe the emergence of voluntary online learning communities in two blended courses. The study developed an interaction-based a...
Robert Heckman, Qing Li, Xue Xiao
WOSP
2005
ACM
15 years 10 months ago
Applying SPE techniques for modeling a grid-enabled JAVA platform
Advances in Internet and the availability of powerful computers and high-speed networks have propitiated the rise of Grids. The scheduling of applications is complex in Grids due ...
Mariela Curiel, M. Angélica Pérez, R...