Sciweavers

1606 search results - page 24 / 322
» Methodological Approach for Developing a KMS: A Case Study
Sort
View
107
Voted
TPHOL
1998
IEEE
15 years 3 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...
98
Voted
ICSR
2004
Springer
15 years 5 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...
97
Voted
HICSS
2009
IEEE
154views Biometrics» more  HICSS 2009»
15 years 6 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
80
Voted
JCAL
2002
69views more  JCAL 2002»
14 years 11 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 3 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...