Sciweavers

1606 search results - page 75 / 322
» Methodological Approach for Developing a KMS: A Case Study
Sort
View
FDL
2004
IEEE
15 years 8 months ago
A Formal Verification Approach for IP-based Designs
This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology a...
Daniel Karlsson, Petru Eles, Zebo Peng
SERP
2003
15 years 5 months ago
Generative and Incremental Approach to Scripting Support Implementation
Many systems may benefit from scripting support, but the implementation of it is seldom trivial, especially if the system has not originally been developed with scripting support...
Vespe Savikko
ICNSC
2007
IEEE
15 years 10 months ago
Planning the Location of Intermodal Freight Hubs: an Agent Based Approach
—Intermodal freight transportation is defined as a system that carries freight from origin to destination by using two or more transportation modes. In this system, hubs are one ...
Koen H. van Dam, Zofia Verwater-Lukszo, Luis Ferre...
ICCBR
2007
Springer
15 years 10 months ago
Case-Based Reasoning Adaptation for High Dimensional Solution Space
Case-Based Reasoning (CBR) is a methodology that reuses the solutions of previous similar problems to solve new problems. Adaptation is the most difficult stage in the CBR cycle, e...
Ying Zhang, Panos Louvieris, Maria Petrou
SOQUA
2004
15 years 5 months ago
Towards A Practical Approach to Test Aspect-Oriented Software
: Aspect-Oriented Programming (AOP) provides new constructs and tools to handle cross-cutting concerns in programs. Fully realizing the potentials of riented Software Development r...
Yuewei Zhou, Hadar Ziv, Debra J. Richardson