Sciweavers

2478 search results - page 366 / 496
» Quadtrees as an Abstract Domain
Sort
View
DATE
2003
IEEE
116views Hardware» more  DATE 2003»
14 years 3 months ago
Development and Application of Design Transformations in ForSyDe
The ForSyDe methodology has been developed for system level design. Starting with a formal specification model, that captures the functionality of the system at a high abstractio...
Ingo Sander, Axel Jantsch, Zhonghai Lu
IRI
2003
IEEE
14 years 3 months ago
Generalizing Interface Design Knowledge: Lessons Learned from Developing a Claims Library
The experience of preparing interface design knowledge to be reusable allows reflection on the process, potential, and general challenges of effectively and efficiently using this...
Catherine Payne, C. F. Allgood, Christa M. Chewar,...
IWPC
2003
IEEE
14 years 2 months ago
Facilitating Program Comprehension by Mining Association Rules from Source Code
Program comprehension is an important part of software maintenance, especially when program structure is complex and documentation is unavailable or outdated. Data mining can prod...
Christos Tjortjis, Loukas Sinos, Paul J. Layzell
AIME
2003
Springer
14 years 2 months ago
Linking Clinical Guidelines with Formal Representations
Abstract. Clinical protocols and guidelines have been used in the medical domain for some time now, primarily to reduce proneness to errors during the treatment of specific disease...
Peter Votruba, Silvia Miksch, Robert Kosara
DEXA
2003
Springer
147views Database» more  DEXA 2003»
14 years 2 months ago
Context-Aware Data Mining Framework for Wireless Medical Application
Abstract. Data mining, which aims at extracting interesting information from large collections of data, has been widely used as an effective decision making tool. Mining the datas...
Pravin Vajirkar, Sachin Singh, Yugyung Lee