Sciweavers

2409 search results - page 402 / 482
» Logical systems for structured specifications
Sort
View
145
Voted
CSMR
2007
IEEE
15 years 10 months ago
A Feature-Oriented Adaptive Component Model for Dynamic Evolution
Dynamic adaptation has been an essential requirement for more and more business systems. Some research works have focused on the structural or behavioral changes of adaptive progr...
Xin Peng, Yijian Wu, Wenyun Zhao
KESAMSTA
2007
Springer
15 years 9 months ago
Ontology Agent Based Rule Base Fuzzy Cognitive Maps
This work proposes a framework for the design and development of Ontology Agents oriented to manage Rule Base Fuzzy Cognitive Maps (RBFCM). The approach takes into account the foun...
Alejandro Peña Ayala, Humberto Sossa, Franc...
120
Voted
ECBS
2005
IEEE
160views Hardware» more  ECBS 2005»
15 years 9 months ago
Traceability-Driven Model Refinement for Test Case Generation
Testing complex Computer-Based Systems is not only a demanding but a very critical task. Therefore the use of models for generating test data is an important goal. Tool support du...
Matthias Riebisch, Michael Hübner
VISUAL
2005
Springer
15 years 9 months ago
Wayfinding Choreme Maps
This contribution details how conceptual characterizations of route knowledge can provide the basis for graphical route information in a cognitively adequate way. The approach is b...
Alexander Klippel, Kai-Florian Richter, Stefan Han...
ACMICEC
2004
ACM
205views ECommerce» more  ACMICEC 2004»
15 years 9 months ago
M-Modeler: a framework implementation for modeling m-commerce applications
At the present time, the use of mobile technology in business, is becoming an opportunity to generate competitive advantages within organization environments. Mobile technology he...
Ana Hilda Morales-Aranda, Oscar Mayora-Ibarra, San...