Sciweavers

14056 search results - page 174 / 2812
» Consistency in Model Integration
Sort
View
FLOPS
2008
Springer
15 years 8 months ago
Integrating Answer Set Reasoning with Constraint Solving Techniques
Abstract. The paper introduces a collection of knowledge representation languages, V(C), parametrised over a class C of constraints. V(C) is an extension of both CR-Prolog and CASP...
Veena S. Mellarkod, Michael Gelfond
AH
2008
Springer
16 years 23 days ago
A Validation Framework for Formal Models in Adaptive Work-Integrated Learning
The focus of my thesis is on the development of a multi-method framework for the validation of formal models (domain model, user model, and teaching model) for adaptive work-integr...
Barbara Kump
DDECS
2007
IEEE
80views Hardware» more  DDECS 2007»
16 years 22 days ago
Design Platform for Quick Integration of an Internet Connectivity into System-on-Chips
— The paper describes pre-integrated subsystem consisting of a configurable 8-bit microcontroller and an Internet connection solution. The latter integrates Ethernet Media Access...
Bartosz Wojciechowski, Tomasz Kowalczyk, Wojciech ...
IWPC
2006
IEEE
16 years 12 days ago
Integrating Reverse Engineering Tools Using a Service-Sharing Methodology
A common and difficult maintenance activity is the integration of existing software components or tools into a consistent and interoperable whole. One area in which this has prove...
Dean Jin, James R. Cordy
XPU
2004
Springer
15 years 11 months ago
Towards a Proper Integration of Large Refactorings in Agile Software Development
Refactoring is a key element of many agile software development methods. While most developers associate small design changes with the term refactoring (as described by Martin Fowl...
Martin Lippert