Sciweavers

1606 search results - page 24 / 322
» Methodological Approach for Developing a KMS: A Case Study
Sort
View
94
Voted
TPHOL
1998
IEEE
15 years 1 months ago
The Village Telephone System: A Case Study in Formal Software Engineering
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gun...
ICSR
2004
Springer
15 years 2 months ago
Developing Active Help for Framework Instantiation Through Case-Based Reasoning
Object-oriented frameworks are sophisticated software artifacts that significantly impact productivity when building applications in a given domain. However, frameworks are complex...
Carlos Fernández-Conde, Pedro A. Gonz&aacut...
83
Voted
HICSS
2009
IEEE
154views Biometrics» more  HICSS 2009»
15 years 4 months ago
Follow The Sun Software Development: New Perspectives, Conceptual Foundation, and Exploratory Field Study
Follow The Sun (FTS) is a special case of global software development. FTS means that software work is handed off every day from one development site to the next -- many time zone...
Erran Carmel, Yael Dubinsky, J. Alberto Espinosa
JCAL
2002
69views more  JCAL 2002»
14 years 9 months ago
Qualitative case studies of innovative pedagogical practices using ICT
The Second Instructional Technology in Education Study: Module 2 (SITES M2) is a series of qualitative studies that identify and describe innovative pedagogical practices in 28 par...
R. B. Kozma, R. E. Anderson
DAC
1997
ACM
15 years 1 months ago
Architectural Exploration Using Verilog-Based Power Estimation: A Case Study of the IDCT
We describe an architectural design space exploration methodology that minimizes the energy dissipation of digital circuits. The centerpiece of our methodology is a Verilog-based ...
Thucydides Xanthopoulos, Yoshifumi Yaoi, Anantha C...