Sciweavers

2249 search results - page 59 / 450
» ILP-based engineering change
Sort
View
ISSTA
2006
ACM
15 years 6 months ago
Modular verification of code with SAT
Greg Dennis, Felix Sheng-Ho Chang, Daniel Jackson
114
Voted
SIGSOFT
2010
ACM
14 years 10 months ago
Software for everyone by everyone
Given the dizzying pace of change in computer science, trying to look too far into the future of software engineering is hard. However, it might be possible to predict the future ...
Tevfik Bultan
ICMCS
2000
IEEE
89views Multimedia» more  ICMCS 2000»
15 years 4 months ago
A Knowledge Engineering Approach for Image Classification based on Probabilistic Reasoning Systems
We present a knowledge engineering approach for image classification that is based on probabilistic reasoning systems. The approach gives the knowledge engineer a systematic way ...
Seungyup Paek, Shih-Fu Chang
159
Voted
ICDE
2003
IEEE
101views Database» more  ICDE 2003»
16 years 1 months ago
The QUIQ Engine: A Hybrid IR DB System
For applications that involve rapidly changing textual data and also require traditional DBMS capabilities, current systems are unsatisfactory. In this paper, we describe a hybrid...
Navin Kabra, Raghu Ramakrishnan, Vuk Ercegovac
113
Voted
IASTEDSEA
2004
15 years 1 months ago
Engineering long-lived applications using MDA
Creating long-lived software systems requires a technology to build systems with good maintainability. One of the core ideas of the Model Driven Architecture (MDA) is to ease the ...
Tilman Seifert, Gerd Beneken, Niko Baehr